Manuscript XII-E@1 · XII-E.tex · section · 9471ea56

Release criteria and copied inputs

Release criteria and copied inputs · lines 302–314

Back to manuscript

The endings are Constructed, Proved obstructed, and Unresolved, applied to the object actually named. A missing map is not a no-go. A remainder already displayed in XII-D is not repaired by shrinking after the calculation.

Displayed formulas in this passage

  • unlabeled · line 310