Theorem WithOne.mapMulHom_mapMulHom

Modification history