Prove sharp all-Clifford helper-detour bounds and correction budgets - #5779

Prove sharp all-Clifford helper-detour bounds and correction budgets#5779

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/ten-kappa-25aliromman/integer-mult-bounds:codex/ten-kappa-25Copy head branch name to clipboard