Prove a global all-field COPY floor 140 for the 56-plane port decoder (no new κ) - #5560

Prove a global all-field COPY floor 140 for the 56-plane port decoder (no new κ)#5560

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Matarener:plane-port-global-rank-dualMatarener/integer-mult-bounds:plane-port-global-rank-dualCopy head branch name to clipboard