Skip to content

fix: make String.toList semireducible - #14294

Merged
datokrat merged 1 commit into
leanprover:masterfrom
datokrat:paul/string-tolist-semireducible
Jul 15, 2026
Merged

fix: make String.toList semireducible#14294
datokrat merged 1 commit into
leanprover:masterfrom
datokrat:paul/string-tolist-semireducible

String.toList semireducible

8087b28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Jul 10, 2026 in 3s