fix: `Char -> Bool` as default instance for string search#11503

TwoFX merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

TwoFX:markus/default_instanceTwoFX/lean4:markus/default_instanceCopy head branch name to clipboard