Noncommuting controller stages work for every p: proof of the descending-support invariant (completes #4534 Q2 with #4540; no new κ) - #4549

Noncommuting controller stages work for every p: proof of the descending-support invariant (completes #4534 Q2 with #4540; no new κ)#4549

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:descending-invariant-allppinterbanget/integer-mult-bounds:descending-invariant-allpCopy head branch name to clipboard