proof(coq): add step_R_eq_or_touches_region region-invariance lemma#114

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

proof-debt/ephapax-preservation-lemmashyperpolymath/ephapax:proof-debt/ephapax-preservation-lemmasCopy head branch name to clipboard