Prove the exact two-factor right-vector criterion at n = 2; the M2(F2) failure lifts to F2[S3] (no new κ) - #4276

Prove the exact two-factor right-vector criterion at n = 2; the M2(F2) failure lifts to F2[S3] (no new κ)#4276

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w4-1020g-right-vector-two-factor-criterionpetalas/integer-mult-bounds:research/w4-1020g-right-vector-two-factor-criterionCopy head branch name to clipboard