Theorem IsPrincipalIdealRing.of_finite_primes

Modification history