Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.pos_of_odd

Modification history

2022-07-13 02:40
src/data/nat/parity.lean
feat(algebra/parity): more general odd.pos (#15186) …
Deleted nat.pos_of_oddView on Github →
2022-07-07 05:04
src/data/nat/parity.lean
chore(data/nat): rename oddly named lemma odd_gt_zero (#13040)
Added nat.pos_of_oddView on Github →