feat(untyped): the Leftmost Reduction Theorem - #700

feat(untyped): the Leftmost Reduction Theorem#700

chenson2018 merged 24 commits into

leanprover:mainleanprover/cslib:mainfrom

m-ow:leftmost-reductionm-ow/cslib:leftmost-reductionCopy head branch name to clipboard