Theorem MulEquiv.toMonoidHom_injective

Modification history