Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-05-15 08:18
00ee899c
View on Github →
chore: use TreeMap in MLList/BestFirst and rw_search (
#24904
)
Estimated changes
Modified
Mathlib/Data/MLList/BestFirst.lean
modified
def
BestFirstQueue