Commit 2025-03-02 22:57 ad2fc2b8

View on Github →

chore: avoid unnecessary change tactics (#20486) change is always a bit of smell, so in cases where simp can just close the goal unassisted, do that.

Estimated changes