Rockel2026XiFootrule: public results #
The upper boundary, attainment, and uniqueness from Theorem 2.1 are proved
in the conditional-CDF formulation. Remaining scope is recorded in COVERAGE.md.
The upper boundary, attainment, and uniqueness from Theorem 2.1 are proved
in the conditional-CDF formulation. Remaining scope is recorded in COVERAGE.md.