Theorem Nat.Prime.odd_iff

Modification history

2026-03-21 11:04
Mathlib/Data/Nat/Prime/Basic.lean
feat: four miscellaneous number theory lemmas (#36799) …
Added Nat.Prime.odd_iffView on Github →