[Lean] Hyperplane-end helpers: multi-gate cleanup tails and the cold specialisation (stacked on #593, no κ claim) - #599

[Lean] Hyperplane-end helpers: multi-gate cleanup tails and the cold specialisation (stacked on #593, no κ claim)#599

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/hyperplane-end-multiDreamingOfClouds/integer-mult-bounds:research/hyperplane-end-multiCopy head branch name to clipboard