Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24
Raw experiment-use relation
The frozen order-forming operation › Raw experiment-use relation · lines 612–617
This quotient is the only order-forming operation adopted here. The rule does not switch between an acyclic restriction and a quotient after seeing which gives a desired cone.