← Copula mathematical handbook

Quadrant dependence and tail coefficients

theorem ProbabilityTheory.Copula.isNQD_hasLowerTailDependence_zero {C : Copula 2} (hC : C.IsNQD) : C.HasLowerTailDependence 0

theorem ProbabilityTheory.Copula.isNQD_survivalCopula {C : Copula 2} (hC : C.IsNQD) : C.survivalCopula.IsNQD

theorem ProbabilityTheory.Copula.isNQD_hasUpperTailDependence_zero {C : Copula 2} (hC : C.IsNQD) : C.HasUpperTailDependence 0