refactor: .trans => .head/.tail - #797

refactor: .trans => .head/.tail#797

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:transawesome-lambda-calculus/cslib:transCopy head branch name to clipboard