Def Lean.Expr.toSyntax

Modification history

2022-12-05 19:18
Mathlib/Lean/Expr/Basic.lean
chore: update std 12-05 (#863)
Deleted Lean.Expr.toSyntaxView on Github →
2022-11-17 05:45
Mathlib/Lean/Expr/Basic.lean
feat: `linear_combination` tactic (#605) …
Added Lean.Expr.toSyntaxView on Github →