← Mathematical handbook

Affinity of the polarized conditional-CDF functional

theorem ProbabilityTheory.Copula.chatterjeeCross_mix_right (C D E : Copula 2) (a : ↑unitInterval) : C.chatterjeeCross (D.mix E a) = ↑a * C.chatterjeeCross D + (1 - ↑a) * C.chatterjeeCross E