Def Lean.Expr.ineq?

Modification history

2026-10-19 06:25
Mathlib/Tactic/Ineq.lean
fix: use meta imports for metaprogramming dependencies (#43912) …
Added Lean.Expr.ineq?View on Github →