Manuscript VII-H@1 · VII-H.tex · corollary · d20d2a9f

Corollary: A nonzero detectable quotient class

An exactly evaluated nonzero invariant · lines 1087–1098 · proof included or linked

The class of $R_{μ_{0}}$ in

D^{'} (M; R) / R ℏ δ_{0}

is nonzero and is detected by the continuous test $F_{*}$ .

Proof. A response in the ambiguity subspace would pair to zero with $F_{*}$ , contrary to (eq:main-value).

Displayed formulas in this passage