Manuscript XV-D@1 · XV-D.tex · section · 967136eb
Row-by-row requirements
What the preliminary lift would require › Row-by-row requirements · lines 618–625
Consequently the equality has been proved nowhere in this record and is not asserted here for any map. The null defect of the actual graph is not an evaluable object in this release. This proves the plan's requirement that the calculation be reported blocked rather than filled.