Theorem WithOne.mapMulHom_injective'

Modification history