feat(untyped): standardization theorem for the lambda calculus#679

chenson2018 merged 17 commits into

leanprover:mainleanprover/cslib:mainfrom

m-ow:standardization-theoremm-ow/cslib:standardization-theoremCopy head branch name to clipboard