← Mathematical handbook

theorem Verification.rafteryDensity_zero {a : ℝ} (ha : 1 < a) (v : ↑unitInterval) : rafteryDensity a 0 ↑v = 0

theorem Verification.rafteryDensity_symm (a u v : ℝ) : rafteryDensity a u v = rafteryDensity a v u

theorem Verification.rafteryDensity_isTP2 {a : ℝ} (ha : 1 < a) : ProbabilityTheory.IsTP2 fun (u v : ↑unitInterval) => rafteryDensity a ↑u ↑v

theorem Verification.raftery_hasMTP2Density (δ : ↑unitInterval) (h1 : δ ≠ 1) : (raftery δ).HasMTP2Density

theorem Verification.raftery_absolutelyContinuous_iff (δ : ↑unitInterval) : (raftery δ).toMeasure.AbsolutelyContinuous MeasureTheory.volume ↔ δ ≠ 1

theorem Verification.raftery_density_tp2_iff (δ : ↑unitInterval) : (raftery δ).HasMTP2Density ↔ δ ≠ 1

theorem Verification.raftery_isCI (δ : ↑unitInterval) : (raftery δ).IsCI

theorem Verification.raftery_printed_tp2_exclusion_false : ¬∀ (δ : ↑unitInterval), raftery δ ≠ ProbabilityTheory.Copula.independence 2 → ¬(raftery δ).HasMTP2Density

theorem Verification.raftery_isPQD (δ : ↑unitInterval) : (raftery δ).IsPQD

theorem Verification.raftery_nqd_iff (δ : ↑unitInterval) : (raftery δ).IsNQD ↔ δ = 0

theorem Verification.raftery_cd_iff (δ : ↑unitInterval) : (raftery δ).IsCD ↔ δ = 0