Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-12 08:03
b589cdd6
View on Github →
chore: include LeanSearchClient in the cache (
#16717
)
Estimated changes
Modified
Cache/IO.lean