Def Lean.Expr.listNamesWithPrefixes

Modification history

2023-02-04 00:58
Mathlib/Lean/Expr/Basic.lean
fix: interaction between to_additive and rewriting definitions (#1948)
Deleted Lean.Expr.listNamesWithPrefixesView on Github →
2022-11-24 14:35
Mathlib/Lean/Expr/Basic.lean
fix: let toAdditive handle more auxiliary declarations (#699) …
Added Lean.Expr.listNamesWithPrefixesView on Github →