Manuscript XIII-C@1 · XIII-C.tex · remark · e6556893
Remark: Primitive extension is not joint extension
C4: constructed primitive extensions and the joint stop · lines 1041–1047
Theorem thm:primitive-extension does not prove multiplication by every singular spectator, compatibility at intersecting diagonals, or the noncoincident prescription of Lemma lem:pinch. A product of an extended primitive with an undefined spectator composition is still undefined.