Skip to content

Provide a convenience hypothesis with eqv assumptions in rewrite rules side-conditions#134

Merged
JasonGross merged 2 commits intomit-plv:masterfrom JasonGross:give-eqv-hypDec 23, 2023
+8-2

Commits

Commits on Dec 23, 2023