Manuscript XVI-D@1 · XVI-D.tex · section · b73c6f4a
Coordinate candidate and a restricted auxiliary extension
Coordinate candidate and a restricted auxiliary extension · lines 1174–1179
This is the candidate formula also present in XVI-E and XVI-F-v3. It is reproved here; no named Green-operator application is used in its definition.