Manuscript IX-E-2@1 · IX-E-2.tex · section · e70d9077
Detection on the unrestricted configuration space
Actual support coverage and the unfinished bridge › Detection on the unrestricted configuration space · lines 1120–1124
The following elementary fact makes the remaining bridge a precise commutator obligation.