Manuscript VII-G@1 · VII-G.tex · section · 54f561e8
A separate resource ledger
Balance laws and admissibility without postselection › A separate resource ledger · lines 1361–1370
VII-G@1#eq:path-resource
Let be a resource budget and let be a declared edge cost satisfying
Displayed formulas in this passage
VII-G@1#eq:path-resource · line 1365