← Mathematical handbook

Kendall tau of the two-parameter Marshall–Olkin family

theorem Verification.marshallOlkin_kendallTau (α β : ↑unitInterval) : (ProbabilityTheory.Copula.marshallOlkin α β).kendallTau = ↑α * ↑β / (↑α + ↑β - ↑α * ↑β)