fix(coq): preservation 29 → 22 open goals via universal-IH + atomic closers - #106

fix(coq): preservation 29 → 22 open goals via universal-IH + atomic closers#106

hyperpolymath merged 2 commits into

mainhyperpolymath/ephapax:mainfrom

proof-debt/ephapax-preservation-close-29-existentialshyperpolymath/ephapax:proof-debt/ephapax-preservation-close-29-existentialsCopy head branch name to clipboard