← Mathematical handbook

theorem Verification.gammaVariance_zero_ne_independence (a b : ℝ) (ha : 0 < a) (hb : 0 < b) : ProbabilityTheory.Copula.gaussianScaleMixture (bivariateCorrelation 0) ⋯ ⋯ (ProbabilityTheory.gammaProbability a b ha hb) Real.sqrt ⋯ ⋯ ≠ ProbabilityTheory.Copula.independence 2