← Mathematical handbook

Exact Kendall tau of the Cuadras–Augé family

theorem Verification.cuadrasAuge_kendallTau (δ : ↑unitInterval) : (ProbabilityTheory.Copula.cuadrasAuge δ).kendallTau = ↑δ / (2 - ↑δ)