Theorem Nat.nth_prime_four_eq_eleven

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_four_eq_elevenView on Github →