Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zpow_bit0_pos_iff

Modification history

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