Theorem String.lt_iff_toList_lt

Modification history

2026-06-02 15:39

Mathlib/Data/String/Basic.lean

chore: avoid declaring duplicate instances `LE String` and `LT String` (#39003) …

Modified String.lt_iff_toList_lt View on Github →

2023-04-05 16:27

Mathlib/Data/String/Basic.lean

feat: port Data.String.Basic (#1054) …

Added String.lt_iff_toList_lt View on Github →