Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-05-06 15:10
9cf0d9bd
View on Github →
chore: bump to Lean 4 nightly-2023-05-06 (
#3817
)
Estimated changes
Modified
Mathlib/Data/String/Basic.lean
added
theorem
String.utf8GetAux.add_right_cancel
Modified
lean-toolchain