]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
Remove the left margin from proof-by-cases and indent its paragraphs.
authorMichael Orlitzky <michael@orlitzky.com>
Wed, 10 Aug 2016 03:46:45 +0000 (23:46 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Wed, 10 Aug 2016 03:46:45 +0000 (23:46 -0400)

No differences found