Independently check #4437: the ideal column majorant holds (and is attained) across g = 2 steps (no new κ) - #4468

Independently check #4437: the ideal column majorant holds (and is attained) across g = 2 steps (no new κ)#4468

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:column-cut-checkpinterbanget/integer-mult-bounds:column-cut-checkCopy head branch name to clipboard