Theorem String.asString_nil

Modification history

2026-05-17 20:27

Mathlib/Data/String/Basic.lean

chore: remove declarations deprecated between 2021-05-15 and 2025-11-15 (#39405) …

Deleted String.asString_nil View on Github →

2025-11-18 10:56

Mathlib/Data/String/Basic.lean

chore: bump toolchain to v4.26.0-rc1 (#31763)

Modified String.asString_nil View on Github →

2024-06-05 08:10

Mathlib/Data/String/Basic.lean

chore: fix names for String lemmas (#13525)

Added String.asString_nil View on Github →