Theorem MulEquiv.toMonoidHom_eq_coe

Modification history