Manuscript XIII-E@1 · XIII-E.tex · section · 74eaba48

XII-F's full-shell boundary

Copied prerequisite sheet › XII-F's full-shell boundary · lines 377–389

XIII-E@1#eq:witness

The copied witness is retained:

Δ_{ξ} Φ^{(2)}_{D} = - 8 \int f (t, x) \int_{0}^{t} (t - s)^{2} a (s) d s d^{4} x < 0.

Its hypotheses and evaluated sign are those of XII-F XIIF. It is not used to determine a regulator, a contact coefficient, or an extension normalization.

Displayed formulas in this passage

XIII-E@1#eq:witness · line 380
$Δ_{ξ} Φ^{(2)}_{D} = - 8 \int f (t, x) \int_{0}^{t} (t - s)^{2} a (s) d s d^{4} x < 0.$