Def Mathlib.Meta.Positivity.evalZpow

Modification history

2024-02-05 13:02
Mathlib/Tactic/Positivity/Basic.lean
chore: Move `positivity` extensions (#10140) …
Deleted Mathlib.Meta.Positivity.evalZpowView on Github →
2023-12-17 21:55
Mathlib/Tactic/Positivity/Basic.lean
feat: positivity extension for zpow (#8003) …
Added Mathlib.Meta.Positivity.evalZpowView on Github →