KB3f: the vanishing-character restriction on the 18-point cover question for F2^7 (outcome=partial, no new kappa) - #2933

KB3f: the vanishing-character restriction on the 18-point cover question for F2^7 (outcome=partial, no new kappa)#2933

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-74-kb3f-vanishing-fc618722navinor/integer-mult-bounds:research/agent-74-kb3f-vanishing-fc618722Copy head branch name to clipboard