Independently check #4279's depth-four count vectors for m = 2..5: P(m) and the dominance law hold in the box n <= 3m (no new κ) - #4344

Independently check #4279's depth-four count vectors for m = 2..5: P(m) and the dominance law hold in the box n <= 3m (no new κ)#4344

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:depth4-count-vectors-checkpinterbanget/integer-mult-bounds:depth4-count-vectors-checkCopy head branch name to clipboard