proof(Semantics_L1): restore region_shrink_preserves_typing_l1_gen bullet structure via m-polymorphic helper (L2-β #3)#189

hyperpolymath merged 1 commit into

proof/semantics-l1-affine-bullet-fixhyperpolymath/ephapax:proof/semantics-l1-affine-bullet-fixfrom

proof/region-shrink-l1-bullet-restorehyperpolymath/ephapax:proof/region-shrink-l1-bullet-restoreCopy head branch name to clipboard