Compactness of the full attainable xi--eta region #
theorem
Verification.isCompact_xi_eta_region :
IsCompact (Set.range fun (C : ProbabilityTheory.Copula 2) => (C.chatterjeeXi, correlationRatio C))
The full directional coefficient region, including all singular copulas, is compact.