Manuscript IX-E@1 · IX-E.tex · section · 8f8d5e7f
The complete first-stage commutator calculation
E1: ordered-data consistency › The complete first-stage commutator calculation · lines 695–701
Theorem thm:obstruction is conditional, not an evaluated obstruction. Lemma lem:spacelike supplies geometric test regions; the supplied excerpt does not evaluate there.
Nearby in this section
- section: The complete first-stage commutator calculation
- proposition: Proposition: First-stage commutator
- section: The complete first-stage commutator calculation
- lemma: Lemma: Compact detection
- section: The complete first-stage commutator calculation
- theorem: Theorem: Fixed-domain obstruction
- proposition: Proposition: Classical multiplication is not a solution
- section: The complete first-stage commutator calculation