← Mathematical handbook

theorem Verification.nelsen18_zero_diagonal (θ : ℝ) (hθ : 2 ≤ θ) : ∃ (q : ↑unitInterval), 0 < q ∧ (nelsen18 θ hθ).cdf ![q, q] = 0

theorem Verification.nelsen18_not_pqd (θ : ℝ) (hθ : 2 ≤ θ) : ¬(nelsen18 θ hθ).IsPQD

theorem Verification.nelsen18_not_ci (θ : ℝ) (hθ : 2 ≤ θ) : ¬(nelsen18 θ hθ).IsCI

theorem Verification.nelsen18_not_density_tp2 (θ : ℝ) (hθ : 2 ≤ θ) : ¬(nelsen18 θ hθ).HasMTP2Density

theorem Verification.nelsen18_lowerTail (θ : ℝ) (hθ : 2 ≤ θ) : (nelsen18 θ hθ).HasLowerTailDependence 0