Manuscript VIII-A@3 · VIII-A-v3.tex · section · 2398a747
A2: factorization through accessible inputs
Completeness and observation invariance › A2: factorization through accessible inputs · lines 962–966
This does not choose or prove existence of a nonconstant admissible sourced realization.