refactor: abbrev open'/close - #815

refactor: abbrev open'/close#815

lengyijun wants to merge 1 commit into

leanprover:mainleanprover/cslib:mainfrom

awesome-lambda-calculus:abbrev_openawesome-lambda-calculus/cslib:abbrev_openCopy head branch name to clipboard