Research: rank-8 rigidity on every P105 unit via #1560's criterion, and (G) does not imply (D) for frame sub-families (no new κ) - #1650

Research: rank-8 rigidity on every P105 unit via #1560's criterion, and (G) does not imply (D) for frame sub-families (no new κ)#1650

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

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