Theorem NonUnitalRingHom.one_def

Modification history