Theorem NonUnitalRingHom.eqLocus_same

Modification history