Skip to content

Prove the exact F4 hyperplane intersection law (no new κ) - #5246

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w3-1022u-hermitian-intersections
Oct 23, 2026
Merged

Prove the exact F4 hyperplane intersection law (no new κ)#5246
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w3-1022u-hermitian-intersections

feat(research): prove the exact F4 hyperplane intersection law

1765574
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 37s