]> gitweb.michael.orlitzky.com - mjotex.git/history - mjo-theorem.tex
Change each proof-by-cases case to look like "Case N: conditions."
[mjotex.git] / mjo-theorem.tex
2016-04-08 Michael OrlitzkyRemove theorem* from mjo-theorem and be explicit about...
2016-03-08 Michael OrlitzkyRename mjo-fonts, mjo-pcases, and mjo-theorems for...