Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pow_minus_two_nonneg

Modification history

2023-03-16 13:33
src/algebra/order/field/basic.lean
chore(algebra/order/field/basic): Rename `pow_minus_two_nonneg` (#18591) …
Deleted pow_minus_two_nonnegView on Github →
2022-06-23 16:23
src/algebra/order/field.lean
chore(data/nat,int): move field-specific lemmas about cast (#14890) …
Modified pow_minus_two_nonnegView on Github →
2022-06-22 16:29
src/algebra/group_with_zero/power.lean
chore(algebra/{group_power,order}): split off field lemmas (#14849) …
Modified pow_minus_two_nonnegView on Github →
2021-04-22 01:02
src/algebra/group_with_zero/power.lean
feat(analysis/special_functions/bernstein): Weierstrass' theorem: polynomials are dense in C([0,1]) (#6497) …
Added pow_minus_two_nonnegView on Github →