feat: Add lemma SN.to_WN: SN implies Normalizable#736

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:sn_to_wnawesome-lambda-calculus/cslib:sn_to_wnCopy head branch name to clipboard