Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436
Prescribed schedule support
Prescribed schedule support · lines 1664–1670
This is the local comparison underlying the schedule statements in VII-E, En05-A, En03-A, and the algebraic formulation of En05-C CheungVIIE,CheungEn05A,CheungEn03A,CheungEn05C. No result from those manuscripts is needed as a premise of the proof.