← Mathematical handbook

theorem Verification.extremalCoefficient_eq_twice_pickands (C : ProbabilityTheory.Copula 2) (hC : C.IsExtremeValue) : C.extremalCoefficient = 2 * copulaPickands C ProbabilityTheory.Copula.unitHalf