Theorem WithOne.mapMulHom_inj

Modification history