Manuscript XIV-B@1 · XIV-B.tex · input · 53202eaa
Input statement: XII-A and XI-B: carrier, free rule, uniqueness
Release criteria and the copied premise sheet · lines 430–442
XIV-B@1#input:XIIA
, with ; ghosts in are smooth ambient free solutions with arbitrary Cauchy data. The frozen free differential is , , , a nilpotent derivation of descending to . A smooth solution of on the slab with zero Cauchy data on some , , vanishes on ; the compact plateau residual intersection is XIIA,XIB,BGP.