Theorem Ring.DimensionLeOne.prime_le_prime_iff_eq

Modification history