Theorem WithOne.mapMulHom_id

Modification history