Theorem String.asString_nil

Modification history

2025-11-18 10:56
Mathlib/Data/String/Basic.lean
chore: bump toolchain to v4.26.0-rc1 (#31763)
Modified String.asString_nilView on Github →
2024-06-05 08:10
Mathlib/Data/String/Basic.lean
chore: fix names for String lemmas (#13525)
Added String.asString_nilView on Github →