fix: ground theorems as grind parameters
#18533
awaiting-mathlib.yml
on: pull_request
check-awaiting-mathlib
4s
grind parameters
#18533