Prove the separated Gaussian carve has Schur bandwidth at most 2W-1. - #4373

Prove the separated Gaussian carve has Schur bandwidth at most 2W-1.#4373

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

unpaidmoon:cursor/gaussian-carve-schur-bandwidth-875eunpaidmoon/integer-mult-bounds:cursor/gaussian-carve-schur-bandwidth-875eCopy head branch name to clipboard