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