Commit 2025-11-07 09:03 fab3be60

View on Github →

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:

Estimated changes