Repository navigation

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

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

ToikY:codex/b9-two-capacity-completion

Nov 10, 2026

Merged

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

Commits on Nov 3, 2026
- Prove prescribed completion criterion for two nonnested target capacities
  ToikY
  committed
  eeeff04
- Credit earlier general finite-field completion counts and distinguish closed criterion
  ToikY
  committed
  3b3275b