Theorem WithOne.mapMulHom_injective

Modification history