fix: add missing pp-spaces in grind_pattern#11686

kim-em merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom

adomani:adomani/pp_in_grind_patternadomani/lean4:adomani/pp_in_grind_patternCopy head branch name to clipboard