Manuscript X-A-conv-ST@1 · X-A-conv-ST.tex · assumption · 8ca47088
Assumption: Additional classical reference
Stage D: the conditional relational alternative · lines 1761–1771
X-A-conv-ST@1#ass:reference
An independently defined coefficient , with proved nonzero charge , is supplied such that
For whole-algebra comparisons, its first-order charges , are defined on .
Displayed formulas in this passage
unlabeled · line 1765