Theorem String.Iterator.hasNext_cons_addChar

Modification history

2023-08-08 09:48
Mathlib/Data/String/Basic.lean
chore: bump Std version (#6435) …
Deleted String.Iterator.hasNext_cons_addCharView on Github →
2023-05-23 22:59
Mathlib/Data/String/Basic.lean
chore: update std 05-22 (#4248) …
Added String.Iterator.hasNext_cons_addCharView on Github →