refactor: Replace ↔ with = in LcAt.lean - #787

refactor: Replace ↔ with = in LcAt.lean#787

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:lcat=awesome-lambda-calculus/cslib:lcat=Copy head branch name to clipboard