Manuscript VIII-A@3 · VIII-A-v3.tex · section · 2398a747
The complete fixed-cone construction
The complete fixed-cone construction · lines 1307–1312
The formulas in this section independently reproduce the fixed slicing compared with VII-F CheungVIIF. No predecessor theorem is needed for their verification.