Theorem MulEquiv.coe_to_monoidHom

Modification history