Manuscript XIX-D@1 · XIX-D.tex · section · 1f47e33b
The elementary fiber test
Witness data do not determine kernels or admission › The elementary fiber test · lines 552–556
This criterion is also used in XIX-A and XIX-C XIXA,XIXC. No predecessor proof is required here.