Theorem Nat.nth_prime_three_eq_seven

Modification history

2025-03-11 23:04
Mathlib/Data/Nat/Prime/Nth.lean
feat(Data/Nat/Prime/{Defs, Nth}): Add basic results about small prime numbers (#22791) …
Added Nat.nth_prime_three_eq_sevenView on Github →