Manuscript XVI-K@1 · XVI-K.tex · section · aa7553bb

Inherited interfaces

Setting, explicit interfaces, and normalization › Inherited interfaces · lines 332–346

Back to manuscript

The supplied root is described by the inherited composition

where is the compact ambient time collar. This formula records provenance only. Its internal variable and the distribution are not reopened in the proof. The collar is not the Heaviside function .

Displayed formulas in this passage

  • unlabeled · line 335

Nearby in this section