fix(LambdaCalculus): change from rename to swap in alpha equivalence#744

SamuelSchlesinger wants to merge 2 commits into

leanprover:mainleanprover/cslib:mainfrom

SamuelSchlesinger:samuelschlesinger/alpha-equivalence-captureSamuelSchlesinger/cslib:samuelschlesinger/alpha-equivalence-captureCopy head branch name to clipboard