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