Theorem Nat.prime_seven

Modification history

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