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

m-ow wants to merge 2 commits into

leanprover:mainleanprover/cslib:mainfrom

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