WIP: discharge substTop_preserves_typing axiom (Refs #23)#27

hyperpolymath merged 1 commit into

mainhyperpolymath/betlang:mainfrom

fix/substtop-preserves-typing-dischargehyperpolymath/betlang:fix/substtop-preserves-typing-dischargeCopy head branch name to clipboard