Manuscript XII-C@1 · XII-C.tex · input · dead1004
Input statement: XI-B
Release criteria and the inherited prerequisite sheet › Copied prerequisite statements · lines 348–356
The inherited inverse normalization is . The free rule is , with and recovering . The compact plateau residual intersection is zero. The de Donder layer formula is conditional on , and propagated support is not layer support XIB.