Theorem IsLocalization.AtPrime.isLocalRing

Modification history