Commit 2025-11-04 22:39 78e98e0a
View on Github →chore(Logic/Equiv/Basic): golf using aesop / grind (#30909)
Lemmas about Equiv.swap are very heavy in casework, which is precisely what these tactics excel at.
chore(Logic/Equiv/Basic): golf using aesop / grind (#30909)
Lemmas about Equiv.swap are very heavy in casework, which is precisely what these tactics excel at.