Prove the joint full-guard header law for orthogonal requests of any rank (no new κ) - #4246

Prove the joint full-guard header law for orthogonal requests of any rank (no new κ)#4246

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w3-1020d-orthogonal-chain-headerpetalas/integer-mult-bounds:research/w3-1020d-orthogonal-chain-headerCopy head branch name to clipboard