Skip to content

Prove exact diagonal rank cost for every group and field (no κ) - #7213

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w7-1111c-extraction-obstruction
Open

Prove exact diagonal rank cost for every group and field (no κ)#7213
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w7-1111c-extraction-obstruction

feat(research): prove all-group diagonal rank cost

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

Annotations

1 error
plan
failed Nov 11, 2026 in 4m 38s