Manuscript IX-E-3@1 · IX-E-3.tex · section · 8c41417a
A minimal conditional bridge
The geometric bridge and the missed-ball branch › A minimal conditional bridge · lines 961–966
The scalar-slot lower theorem is useful for full exclusion (eq:full-exclusion), but it is stronger than needed to annihilate the commutator.