Theorem NonUnitalRingHom.comp_zero

Modification history