Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-19 03:12
11f79c59
View on Github →
chore: bump Std (
#12256
)
Estimated changes
Modified
Mathlib/Data/String/Lemmas.lean
deleted
theorem
String.length_append
Modified
lake-manifest.json