Manuscript XII-F@1 · XII-F.tex · section · 54cb3169
The nonzero carrier class and its exact scope
The nonzero carrier class and its exact scope · lines 1086–1092
The witness proves a classical nonzero value. We now identify the carrier statement it supports, without defining a gauge action on the quotient.