Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-05-20 19:32
a90729aa
View on Github →
fix(Shake): update for changes to header grammar (
#25054
) fixes
#24743
... again
Estimated changes
Modified
Shake/Main.lean
added
def
importId
added
def
parseHeaderFromString