Def bestFirstSearchAux

Modification history

2023-11-01 02:56
Mathlib/Data/MLList/BestFirst.lean
feat: the `rw_search` tactic (#6120) …
Deleted bestFirstSearchAuxView on Github →
2023-07-19 08:39
Mathlib/Data/ListM/BestFirst.lean
chore: remove unneeded unsafe modifiers in ListM (#5989) …
Added bestFirstSearchAuxView on Github →