Theorem MulEquiv.to_monoidHom_injective

Modification history