Manuscript IX-E-3@1 · IX-E-3.tex · section · 8c41417a
The boundary-trace certificate
The boundary-trace certificate · lines 534–539
This certificate is more precise than an upper ball bound. Its verification for the inherited operator is not included in the supplied statements. We first prove exactly what it implies.