Theorem Nat.prime_nth_prime

Modification history

2023-06-21 11:07
Mathlib/NumberTheory/PrimeCounting.lean
feat: port NumberTheory.PrimeCounting (#5342)
Added Nat.prime_nth_primeView on Github →