Manuscript IX-C-ST@1 · IX-C-ST.tex · proposition · 892f50c4
Proposition: Catalogue replacement is not metric evolution
The prescribed host and the supported laboratory · lines 365–377 · proof included or linked
IX-C-ST@1#prop:fixedhost
Changing the regulator label, subtraction scale, stage label, or parent parameter changes a description register. It leaves the host, lapse, initial surface, worldsheet, and installed causal relation unchanged.
Proof. Those geometric objects are fixed inputs of Definition def:support. No metric-update map is an output of a catalogue command.
Nearby in this section
- section: The prescribed host and the supported laboratory
- proposition: Proposition: Failure of global hyperbolicity
- definition: Definition: Supported developing presentation
- section: The prescribed host and the supported laboratory
- proposition: Proposition: Supported response and chart operations
- section: The prescribed host and the supported laboratory