Manuscript XVI-K@1 · XVI-K.tex · section · aa7553bb
Inherited interfaces
Setting, explicit interfaces, and normalization › Inherited interfaces · lines 332–346
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