Research: rank-8 masked decoders are gauge-rigid on P112 minus an odd pair — completes P110 with #1419 (no new κ) - #1425

Research: rank-8 masked decoders are gauge-rigid on P112 minus an odd pair — completes P110 with #1419 (no new κ)#1425

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/rank8-rigidity-p110-oddJosieElliston/integer-mult-bounds:research/rank8-rigidity-p110-oddCopy head branch name to clipboard