Theorem MulEquiv.coe_monoidHom_refl

Modification history