Manuscript XV-D@1 · XV-D.tex · section · 967136eb
The D0 verdict
Source-completeness dossier (Gate D0) › The D0 verdict · lines 429–440
Under the stop rule, Gates D1–D4 are not entered for the actual graph. Sections sec:branches and sec:lift record what the freeze and the lift definition would require; Sections sec:nulljet and sec:coefficients contain the calculations that are source-complete.
Displayed formulas in this passage
unlabeled · line 431