Def Monoid.MulEquiv.coprodCongr

Modification history