Manuscript IX-A-ST@1 · IX-A-ST.tex · section · 6e99d1b2
What a later quantum construction must still supply
Release theorem and the exact remaining gates › What a later quantum construction must still supply · lines 2209–2217
The selected free contraction outputs located in Proposition prop:Wickoutputs are already-defined comparison data. Locating them in a classical carrier is not the admission of a new interacting or radiative quantum coefficient.