Theorem String.le_iff_toList_le

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.le_iff_toList_le View on Github →

2023-04-05 16:27

Mathlib/Data/String/Basic.lean

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

Added String.le_iff_toList_le View on Github →