Research: rank-8 rigidity at P107 reduces to zero exclusion — every open unit has a pivot passing (I3), (I4), gluing and Lemma 9 (no new κ) - #1568

Research: rank-8 rigidity at P107 reduces to zero exclusion — every open unit has a pivot passing (I3), (I4), gluing and Lemma 9 (no new κ)#1568

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/rank8-p107-pivotsJosieElliston/integer-mult-bounds:research/rank8-p107-pivotsCopy head branch name to clipboard