Theorem Nat.prime_of_mem_primesBelow

Modification history