Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-10-21 22:10
da2fd30c
View on Github →
chore: fix bad merge of bump/v4.25.0 (
#30748
)
Estimated changes
Modified
Cache/IO.lean
modified
def
Cache.IO.rootHashGeneration