Prove the corank-one pair header law over every finite field (no new κ) - #4747

Prove the corank-one pair header law over every finite field (no new κ)#4747

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w5-1022e-corankone-all-fieldspetalas/integer-mult-bounds:research/w5-1022e-corankone-all-fieldsCopy head branch name to clipboard