Lemma B: step_preserves_type proof completion (#126)#131

hyperpolymath merged 1 commit into

mainhyperpolymath/ephapax:mainfrom

pr126-squashhyperpolymath/ephapax:pr126-squashCopy head branch name to clipboard