Manuscript En07-C@1 · En07-C.tex · section · 3f7e9ebb
Access-preserving endpoint certificates
Access-preserving endpoint certificates · lines 1482–1488
The endpoint statements below compare maps on the same code and retain the distinction between accessible and residual factors. They do not obtain an endpoint by merely declaring that a mass ledger has reached zero.
Nearby in this section
- definition: Definition: Four same-model obligations
- section: Access-preserving endpoint certificates
- theorem: Theorem: Conditional endpoint and finite-time recovery
- corollary: Corollary: A separate receiver allowance
- section: Access-preserving endpoint certificates
- corollary: Corollary: Thermal replacement versus endpoint recovery budget
- corollary: Corollary: Conditional gravitational interpretation