Theorem MulEquiv.coe_monoidHom_symm_comp_coe_monoidHom

Modification history