Theorem MulEquiv.toMulHom_eq_coe

Modification history