Manuscript X-L-ST@1 · X-L-ST.tex · section · 20a32a22
The conditional quantum presentation
Conditional corrections and quantum-presentation tests › The conditional quantum presentation · lines 1227–1234
Let be the free graded compact-test generator space. Let be its formal tensor algebra over , completed coefficientwise. Let denote the free equation and causal-relation ideal giving .