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

Typo in sec_equality-semigroups