Manuscript VII-C@1 · VII-C.tex · remark · 8b2ade29
Remark
The finite tests that do pass › The insertion self-product · lines 815–819
The conclusion is stronger than a merely formal inventory of self-contractions, but weaker than an algebra theorem. The mixed triple below shows why the distinction is necessary.