Structure BestFirstNode

Modification history

2024-07-19 17:46

Mathlib/Data/MLList/BestFirst.lean

chore: remove more easy autoImplicit (#14896)

Modified BestFirstNode View on Github →

2023-11-01 02:56

Mathlib/Data/MLList/BestFirst.lean

feat: the `rw_search` tactic (#6120) …

Added BestFirstNode View on Github →