Skip to content

proofs(lean4): land the green half of the η extension (PARTIAL — ET-1..3 η) - #34

Merged
hyperpolymath merged 1 commit into
mainfrom
proofs/l1-eta-extension
Jul 28, 2026
Merged

proofs(lean4): land the green half of the η extension (PARTIAL — ET-1..3 η)#34
hyperpolymath merged 1 commit into
mainfrom
proofs/l1-eta-extension

proofs(lean4): land the green half of the eta extension (PARTIAL, ET-…

93e9869
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar