Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-07 05:04 ab99fd1b

View on Github →

chore(data/nat): rename oddly named lemma odd_gt_zero (#13040)

Estimated changes

Modified archive/imo/imo1998_q2.lean

Modified src/data/nat/parity.lean

deleted theorem nat.odd_gt_zero

added theorem nat.pos_of_odd