feat(LocallyNameless/Untyped): FullEta.steps_open_cong_l#705

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:fulleta.steps_open_cong_lawesome-lambda-calculus/cslib:fulleta.steps_open_cong_lCopy head branch name to clipboard