Theorem List.toList_asString

Modification history

2024-06-05 08:10
Mathlib/Data/String/Basic.lean
chore: fix names for String lemmas (#13525)
Added List.toList_asStringView on Github →