Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-03 08:22
82e0419d
View on Github →
chore: bump batteries (
#16436
)
Estimated changes
Modified
Mathlib/Data/ByteArray.lean
deleted
def
String.toAsciiByteArray
Modified
lake-manifest.json