proof(L1.G): convert Axiom region_liveness_at_split_l1 to Lemma with 1 narrow admit#178

hyperpolymath merged 1 commit into

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

proof/l1g-axiom-dischargehyperpolymath/ephapax:proof/l1g-axiom-dischargeCopy head branch name to clipboard