Def MulEquiv.monoidHomCongr

Modification history