Skip to content

A closed all-field completion criterion for two nonnested capacities - #6535

Open
ToikY wants to merge 2 commits into
CrocSwap:mainfrom
ToikY:codex/b9-two-capacity-completion
Open

A closed all-field completion criterion for two nonnested capacities#6535
ToikY wants to merge 2 commits into
CrocSwap:mainfrom
ToikY:codex/b9-two-capacity-completion

Credit earlier general finite-field completion counts and distinguish…

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