Theorem MulEquiv.coe_monoidHom_comp_coe_monoidHom_symm

Modification history