refactor: Simplify FullEta.step_lc_r proof#749

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:fmtawesome-lambda-calculus/cslib:fmtCopy head branch name to clipboard