fix: ground theorems as `grind` parameters#11579

leodemoura merged 2 commits intomasterleanprover/lean4:masterfrom

grind_ground_thm_paramleanprover/lean4:grind_ground_thm_paramCopy head branch name to clipboard