Manuscript X-Enter-ST@1 · X-Enter-ST.tex · assumption · f76acc1f

Assumption: Independently charged second coefficient

Stage E: conditional relational input › The additional classical hypothesis · lines 1064–1075

X-Enter-ST@1#ass:reference

A separately defined second coefficient $r$ and a proved nonzero real charge $r_{ε}$ are supplied, with

a (λ) = a_{0} + λ c_{ε}, r (λ) = r_{0} + λ r_{ε} .

For whole-algebra comparisons, their first-order charges on $g_{C}$ are specified linear functionals $q_{a}, q_{r}$ .

Displayed formulas in this passage