Def Mathlib.Meta.Positivity.evalIntCast

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.evalIntCastView on Github →