Def Lean.Expr.le?

Modification history

2023-09-02 12:08
Mathlib/Lean/Expr/Basic.lean
feat: tactic `compute_degree` (#6221) …
Added Lean.Expr.le?View on Github →