Three short rows realize every unit for every m>=6, nothing for m<=5 (#4600 OQ2 answered in the row model; no new κ) - #4624

Three short rows realize every unit for every m>=6, nothing for m<=5 (#4600 OQ2 answered in the row model; no new κ)#4624

Mister-Meeseeks merged 6 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:three-row-unitspinterbanget/integer-mult-bounds:three-row-unitsCopy head branch name to clipboard