Skip to content

Prove sharp zero-edge image bound four and universal rank-three bound six (no new κ) - #6838

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/20261107-zero-edge-image-bound
Nov 10, 2026
Merged

Prove sharp zero-edge image bound four and universal rank-three bound six (no new κ)#6838
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
CubeJerry:research/20261107-zero-edge-image-bound

Prove sharp zero-edge image bound four and universal rank-three bound…

f177c4f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 7, 2026 in 4m 13s