Skip to content

feat(LocallyNameless): FullBetaEta, Normal.sup_iff - #862

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:fullbetaeta
Open

feat(LocallyNameless): FullBetaEta, Normal.sup_iff#862
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:fullbetaeta

feat(LocallyNameless): new theorems in FullBetaEta

75d1f4a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Sep 4, 2026 in 5s