Theorem String.utf8GetAux.add_right_cancel

Modification history

2023-05-17 12:05
Mathlib/Data/String/Basic.lean
chore: bump dependencies (#4012) …
Deleted String.utf8GetAux.add_right_cancelView on Github →
2023-05-06 15:10
Mathlib/Data/String/Basic.lean
chore: bump to Lean 4 nightly-2023-05-06 (#3817)
Added String.utf8GetAux.add_right_cancelView on Github →