Manuscript XII-C@1 · XII-C.tex · section · dead1004
The inherited inverse is recorded, not applied
C4: successor data without a response › The inherited inverse is recorded, not applied · lines 1297–1311
The successor receives the normalization
No occurrence of this identity in the manuscript is an application to , , or any other source.
The successor also receives XII-A's existing carrier and the unchanged exclusion of the original detected unramped classes. It does not receive membership of a new insertion in that carrier.
Displayed formulas in this passage
unlabeled · line 1300