Strengthen odd-unit rank bounds with balanced symplectic flags - #3544

Strengthen odd-unit rank bounds with balanced symplectic flags#3544

Mister-Meeseeks merged 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

jmbarrancoml:research/odd-unit-symplectic-flagsjmbarrancoml/integer-mult-bounds:research/odd-unit-symplectic-flagsCopy head branch name to clipboard