Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Conditional source contacts, subtraction, and order audit
Conditional source contacts, subtraction, and order audit · lines 1070–1075
-E-ST: binary consistency on a fixed actual domain
Nearby in this section
- assumption: Assumption: Simultaneous source prescription
- proposition: Proposition: Conditional source-contact incompatibility
- section: Conditional source contacts, subtraction, and order audit
- assumption: Assumption: Future time-ordered lift
- theorem: Theorem: Conditional unnormalized causal subtraction
- section: Conditional source contacts, subtraction, and order audit
- lemma: Lemma: One-order loss
- section: Conditional source contacts, subtraction, and order audit