Def Lean.Expr.lt?

Modification history

2024-10-08 07:22
Mathlib/Lean/Expr/Basic.lean
feat: `ring`-based prover for certain inequalities in semirings (#16840) …
Added Lean.Expr.lt?View on Github →