Manuscript XII-C@1 · XII-C.tex · section · dead1004
The selected formal action
C0: one choice and the lower-order consistency correction › The selected formal action · lines 542–547
This cubic-only correction is a definition made in XII-C. It is not attributed retrospectively to XII-A or XII-B.