Def Lean.Meta.DiscrTree.mapArraysM

Modification history

2023-10-11 20:05
Mathlib/Lean/Meta/DiscrTree.lean
refactor(Lean.Meta.DiscrTree): Stackless `mapArrays` (#7387) …
Deleted Lean.Meta.DiscrTree.mapArraysMView on Github →
2023-05-07 09:18
Mathlib/Lean/Meta/DiscrTree.lean
feat: library_search tries most specific lemmas first, and then those with shorter names first (#3725) …
Added Lean.Meta.DiscrTree.mapArraysMView on Github →