Skip to content

feat(Relation): add TransGenCommute, SemiDiamondCommute - #1073

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

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

feat(Relation): add TransGenCommute, SemiDiamondCommute and related e…

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

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 17, 2026 in 4m 5s