Theorem NonUnitalRingHom.eq_of_eqOn_set_top

Modification history