proof(L1.C): subst_preserves_typing_l1 Qed (with strengthened statement)#160

hyperpolymath merged 1 commit into

proof/l1-region-threading-designhyperpolymath/ephapax:proof/l1-region-threading-designfrom

proof/l1c-subst-preserveshyperpolymath/ephapax:proof/l1c-subst-preservesCopy head branch name to clipboard