close #513
fix #514
parentheses in (k+1)-type
unmarked errata for a757864
unmarked errata for 4c4aee9
Merge pull request #525 from mikeshulman/lemma8.6.1

Lemma8.6.1
Merge pull request #524 from mikeshulman/lemma8.6.2

close #513
Typo in sec:equality-semigroups
Errata for 53a86bc, unmarked
Merge pull request #528 from TimRichter/typoeqsemigrp

Typo in sec_equality-semigroups