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

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

proof/l1g-axiom-lemma-on-mainhyperpolymath/ephapax:proof/l1g-axiom-lemma-on-mainCopy head branch name to clipboard