Def Mathlib.Meta.Positivity.evalNatCast

Modification history

2023-03-08 11:50
Mathlib/Tactic/Positivity/Basic.lean
feat: add NatCast, IntCast, and NatSucc positivity extensions (#2402) …
Added Mathlib.Meta.Positivity.evalNatCastView on Github →