P104 surplus bound, hub rank law and form-capacity lemma with a hypothesis ledger (no kappa) - #6881

P104 surplus bound, hub rank law and form-capacity lemma with a hypothesis ledger (no kappa)#6881

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/p104-surplus-hub-form-noteDreamingOfClouds/integer-mult-bounds:research/p104-surplus-hub-form-noteCopy head branch name to clipboard