Theorem String.lt_iff_ltb

Modification history

2026-06-02 15:39
Mathlib/Data/String/Basic.lean
chore: avoid declaring duplicate instances `LE String` and `LT String` (#39003) …
Added String.lt_iff_ltbView on Github →