Prove the exact odd-rectangle residual-rank floor for any stage size and hub count: 72ρ at u = h = ρ (no κ) - #7134

Prove the exact odd-rectangle residual-rank floor for any stage size and hub count: 72ρ at u = h = ρ (no κ)#7134

petalas wants to merge 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w11-1110b-rectangle-floorpetalas/integer-mult-bounds:research/w11-1110b-rectangle-floorCopy head branch name to clipboard