Manuscript VII-I@1 · VII-I.tex · section · 907e96ab
The triangle obstruction and what VII-D does supply
The triangle obstruction and what VII-D does supply · lines 1325–1331
This section uses one explicitly stated numerical input from the supplied VII-C/D sources. Its proof is not replaced by a citation to a general extension theorem.