Theorem MonoidHom.toMulHom_injective

Modification history