Theorem RingHom.eqLocus_same

Modification history