Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
Release criteria and copied inputs
Release criteria and copied inputs · lines 302–314
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