feat(untyped): the Leftmost Reduction Theorem#700

m-ow wants to merge 17 commits into

leanprover:mainleanprover/cslib:mainfrom

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