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

Back to manuscript

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