λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-D-ST@1 · IX-D-ST.tex · definition · b1dc631a

Definition: The actual support bridge (SB)

The settled witness class and the unfinished bridge · lines 1654–1667

IX-D-ST@1#def:SB, IX-D-ST@1#eq:SB

Back to manuscript

The remaining commutator-coverage obligation is

B_{f} ≳ W_{g}, W_{g} ≳ B_{f} ⟹ f (x) g (y) Im K (x, y) = 0 in D^{'} (V^{2}),

for every retained first-stage pair, followed by its flip and conjugate transfer.

Displayed formulas in this passage

IX-D-ST@1#eq:SB · line 1657
$B_{f} ≳ W_{g}, W_{g} ≳ B_{f} ⟹ f (x) g (y) Im K (x, y) = 0 in D^{'} (V^{2}),$

Nearby in this section