Theorem IsLocalization.AtPrime.Nontrivial

Modification history