]> gitweb.michael.orlitzky.com - mjotex.git/commit
Change each proof-by-cases case to look like "Case N: conditions."
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 10 Aug 2016 03:47:08 +0000 (23:47 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 10 Aug 2016 03:47:08 +0000 (23:47 -0400)
commit0eb66e736e01afbfafb356135b1031d823a397bc
tree41e648effa16fa76dd56121b51ab0a44e4faf8c3
parent98ccfbccb274901a2504e559f0e88372d11d5a3c
Change each proof-by-cases case to look like "Case N: conditions."
mjo-proof_by_cases.tex