Commit 2025-01-21 00:20 0371e093
View on Github →feat(Logic/Basic): HEq (cast h a) b ↔ HEq a b (#20847)
This makes simp a bit more capable when dealing with the ever-present DTT hell.
feat(Logic/Basic): HEq (cast h a) b ↔ HEq a b (#20847)
This makes simp a bit more capable when dealing with the ever-present DTT hell.