Skip to content

feat: generalize lcAt_openRec_iff_lcAt - #833

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

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

feat: generalize lcAt_openRec_iff_lcAt

0385357
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Sep 22, 2026 in 8m 31s