Repository navigation

Prove positive common-covector correlation over every finite field (no κ) - #6703

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

ToikY:codex/b10-session-08

Nov 10, 2026

Merged

Prove positive common-covector correlation over every finite field (no κ)#6703
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ToikY:codex/b10-session-08

Commits on Nov 3, 2026
- Prove positive common-covector correlation over every finite field (no kappa)
  ToikY
  committed
  a7b9763