Manuscript X-C@3 · X-C-v3.tex · section · 2260f5f8

Advanced uniqueness and the three-term variation

C4: completed test, three-term variation, and cancellation › Advanced uniqueness and the three-term variation · lines 1332–1338

Back to manuscript

This pairing argument does not display switch or edge terms. It confirms the result but is not the proof of record; Proposition prop:variation supplies that proof.

Nearby in this section