]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
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)

No differences found