Def LocalSubring.ofPrimeEquiv

Modification history