Simplify the F-star box obstruction and prove a sharp four-line floor - #3332

Simplify the F-star box obstruction and prove a sharp four-line floor#3332

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

thakrarsagar:loop9963/iteration-11thakrarsagar/integer-mult-bounds:loop9963/iteration-11Copy head branch name to clipboard