Research: rank-8 rigidity on every P107 and P106 unit via #1560's frame-incidence criterion (no new κ) - #1616

Research: rank-8 rigidity on every P107 and P106 unit via #1560's frame-incidence criterion (no new κ)#1616

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/rank8-p107-rigidJosieElliston/integer-mult-bounds:research/rank8-p107-rigidCopy head branch name to clipboard