Def MulEquiv.subsemigroupCongr

Modification history