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

Back to manuscript

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

Nearby in this section