Commit 2025-11-07 09:03 fab3be60

feat: more use of grind with Equiv (#31271) Follow-up to #30909. There are several in flight Lean PRs that may improve the situation further:

• https://github.com/leanprover/lean4/issues/11088
• https://github.com/leanprover/lean4/pull/11087
• https://github.com/leanprover/lean4/issues/11086