Theorem Nat.prime_def

Modification history

2024-11-21 10:01
Mathlib/Data/Nat/Prime/Defs.lean
chore: rename `Nat.prime_def_lt''` to `Nat.prime_def` (#19255) …
Added Nat.prime_defView on Github →