Theorem IsLocalization.AtPrime.localRing

Modification history