fix: make String.toList semireducible - #14294

fix: make String.toList semireducible#14294

datokrat merged 1 commit into

leanprover:masterleanprover/lean4:masterfrom

datokrat:paul/string-tolist-semireducibledatokrat/lean4:paul/string-tolist-semireducibleCopy head branch name to clipboard