Def MonoidHom.toMulEquiv

Modification history