Theorem RingHom.eqOn_sclosure

Modification history