Def Mathlib.Meta.Positivity.evalDiv

Modification history

2024-02-05 13:02

Mathlib/Algebra/Order/Field/Basic.lean

chore: Move `positivity` extensions (#10140) …

Modified Mathlib.Meta.Positivity.evalDiv View on Github →

2023-01-06 22:01

Mathlib/Tactic/Positivity/Basic.lean

feat: port Int and LinearOrderedSemifield division positivity extensions (#1391) …

Added Mathlib.Meta.Positivity.evalDiv View on Github →