fix: quoting single quote Char (''')#8742

nomeata merged 6 commits intoleanprover:masterleanprover/lean4:masterfrom

plp127:aliu/char-bugplp127/lean4:aliu/char-bugCopy head branch name to clipboard