fix: respect type reducibility when generating injectivity lemmas#2276
Draft
eric-wieser wants to merge 4 commits intoleanprover:masterfrom
Draft
fix: respect type reducibility when generating injectivity lemmas#2276eric-wieser wants to merge 4 commits intoleanprover:masterfrom
eric-wieser wants to merge 4 commits intoleanprover:masterfrom
Commits
Commits on Feb 10, 2024
- committed
- committed
- committed
- committed
