Theorem RingHom.eq_of_eqOn_set_top

Modification history