Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zpow_neg_two_nonneg

Modification history

2023-03-16 13:33
src/algebra/order/field/power.lean
chore(algebra/order/field/basic): Rename `pow_minus_two_nonneg` (#18591) …
Added zpow_neg_two_nonnegView on Github →