Theorem RingOfIntegers.isPrincipalIdealRing_of_isPrincipal_of_mem_primesOver_of_le

Modification history