quotation style, change /.''/ and /,''/ to /''./ and /'',/ only
remove extra spaces
Merge pull request #593 from Shark64/quotation-style2

Quotation style second try
fix typos, close #595
unmarked errata for 4818f12
Merge pull request #596 from mikeshulman/lemma6.12.4

fix typos, close #595
Mark Errata (auto)