Theorem Pi.monoidHom_injective

Modification history