Skip to content

fix: use reducible transparency when producing no_confusion_type and injectivity lemmas#812

Open
eric-wieser wants to merge 3 commits into
masterfrom
eric-wieser/semireducible-injectivity-lemmas
Open

fix: use reducible transparency when producing no_confusion_type and injectivity lemmas#812
eric-wieser wants to merge 3 commits into
masterfrom
eric-wieser/semireducible-injectivity-lemmas

fix

db2dcfb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs