Manuscript Em03-B@2 · Em03-B-v2.tex · section · c1a0977d
The model-level theorem
End-to-end theorem and constructive tolerances › The model-level theorem · lines 1839–1849
Define
using the derived budgets (eq:transferbudget) and (eq:readbudget).
Displayed formulas in this passage
unlabeled · line 1842