Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.two_mul_div_two_of_odd

Modification history

2022-01-31 14:14

src/data/int/parity.lean

feat(data/{nat,int}/parity): add division lemmas (#11570) …

Added int.two_mul_div_two_of_odd View on Github →