Prove adaptive gate criterion and critical-root leaf bounds (no κ) - #4532

Prove adaptive gate criterion and critical-root leaf bounds (no κ)#4532

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

dillona:research/adaptive-gate-existencedillona/integer-mult-bounds:research/adaptive-gate-existenceCopy head branch name to clipboard