Skip to content

Prove even local factor degrees for ternary kernels (no κ) - #6581

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w11-1102h-new-obstruction
Open

Prove even local factor degrees for ternary kernels (no κ)#6581
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w11-1102h-new-obstruction

feat(research): prove even ternary kernel factor degrees

db97db5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 3, 2026 in 4m 34s