close #487
unmarked errata for 8c6f3e8
Merge pull request #541 from mikeshulman/after-lemma-2.1.2

close #487