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.
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.