proof: typing_free_of_absent_region (Qed) — Brief C kernel#151

hyperpolymath merged 1 commit into

lemma-b-phase2hyperpolymath/ephapax:lemma-b-phase2from

proof/phase3-typing-fixhyperpolymath/ephapax:proof/phase3-typing-fixCopy head branch name to clipboard