feat: `ToJson` and `FromJson` for `String.Slice`#11548

TwoFX merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

TwoFX:markus/tojson-string-sliceTwoFX/lean4:markus/tojson-string-sliceCopy head branch name to clipboard