Projective exhaustion and finite-chain prerequisites

Scope, component terms and complete source downloads