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 997–1001
This identifies the exact sufficient certificate whose verification would complete the inherited bridge.