Skip to content

Move some general utility lemmas from TypingWf to All_Forall#913

Draft
JasonGross wants to merge 1 commit intoMetaCoq:coq-8.16from JasonGross:coq-8.16+refactor-all-typingwf
+48-48

Commits

Commits on Apr 8, 2023