Skip to content

fix: respect type reducibility when generating injectivity lemmas#2276

Draft
eric-wieser wants to merge 4 commits into
leanprover:masterfrom
eric-wieser:patch-3
Draft

fix: respect type reducibility when generating injectivity lemmas#2276
eric-wieser wants to merge 4 commits into
leanprover:masterfrom
eric-wieser:patch-3

oh no

a0b2c14
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs