Mathlib v3 is deprecated. Go to Mathlib v4

Theorem odd.zpow_nonpos_iff

Modification history

2022-11-09 17:39
src/algebra/order/field/power.lean
chore(algebra/parity): Reduce imports (#17391) …
Added odd.zpow_nonpos_iffView on Github →