Theorem RingHom.eqLocusS_same

Modification history