fix: use reducible transparency when producing no_confusion_type and injectivity lemmas#812
Open
eric-wieser wants to merge 3 commits intomasterfrom
Open
fix: use reducible transparency when producing no_confusion_type and injectivity lemmas#812eric-wieser wants to merge 3 commits intomasterfrom
no_confusion_type and injectivity lemmas#812eric-wieser wants to merge 3 commits intomasterfrom
