Theorem RingHom.eqOn_set_closure

Modification history