Mathlib v3 is deprecated. Go to Mathlib v4

Theorem odd.pos

Modification history

2022-07-13 02:40
src/algebra/parity.lean
feat(algebra/parity): more general odd.pos (#15186) …
Added odd.posView on Github →