Theorem String.ltb_cons_addChar'

Modification history

2025-11-18 10:56

Mathlib/Data/String/Basic.lean

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

Modified String.ltb_cons_addChar'View on Github →

2025-10-23 19:05

Mathlib/Data/String/Basic.lean

chore: revert #30788 and #30785 (#30807)

Added String.ltb_cons_addChar'View on Github →

2025-10-22 14:25

Mathlib/Data/String/Basic.lean

chore: revert #30740 and #30748 (#30788) …

Deleted String.ltb_cons_addChar'View on Github →

2025-10-21 18:15

Mathlib/Data/String/Basic.lean

chore: merge bump/v4.25.0 (#30740)

Added String.ltb_cons_addChar'View on Github →