]> gitweb.michael.orlitzky.com - mjotex.git/search
Remove the left margin from proof-by-cases and indent its paragraphs.