Explicit inherited inputs and their limits

The internal prerequisites below are the statements supplied for this successor. Their attribution records the supplied provenance; it does not assert independent verification of unprovided source manuscripts. Every imported property used in a proof is stated explicitly. References to other landmarks are not substitute existence theorems Inputs,IXE.