Manuscript X-G@1 · X-G.tex · section · 01566e14
The free coefficients
Coefficient and logical audit › The free coefficients · lines 2002–2021
The fixed chain is
It produces the free cancellation
Changing to while leaving the other entries unchanged breaks this chain.
Displayed formulas in this passage
unlabeled · line 2005
unlabeled · line 2009
unlabeled · line 2016