Manuscript XIX-C@1 · XIX-C.tex · section · 98b067d9
The factorization criterion
Records, residual source functionals, and token acquisition › The factorization criterion · lines 433–437
This is the elementary criterion used in XIX-A XIXA; the proof is printed here so that no predecessor theorem is needed.