← Copula mathematical handbook

Exchangeability of bivariate Archimedean copulas

theorem ProbabilityTheory.Copula.BivariateGenerator.isExchangeable (g : BivariateGenerator) : g.copula.IsExchangeable

theorem ProbabilityTheory.Copula.IsArchimedean.isExchangeable {C : Copula 2} (h : C.IsArchimedean) : C.IsExchangeable