fix: include term parameters in `grind?` suggestions#11594

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

fix-grind-trace-term-paramsleanprover/lean4:fix-grind-trace-term-paramsCopy head branch name to clipboard