fix: show deprecation warnings for `grind` theorem arguments#11593

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

fix-grind-deprecated-warningleanprover/lean4:fix-grind-deprecated-warningCopy head branch name to clipboard