Mathlib Changelog
v4
Changelog
About
Github
Theorem
String.ltb_cons_addChar
Modification history
2023-05-17 12:05
Mathlib/Data/String/Basic.lean
chore: bump dependencies (#4012) …
Added
String.ltb_cons_addChar
View on Github →