proof(L1.B): region_shrink_preserves_typing_l1 Qed via _gen helper#159

hyperpolymath merged 1 commit into

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

proof/l1b-region-shrinkhyperpolymath/ephapax:proof/l1b-region-shrinkCopy head branch name to clipboard