Theorem Nat.nth_prime_two_eq_five

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