← Mathematical handbook

theorem Verification.n21Core_pos {θ t : ℝ} (hθ : 0 < θ) (ht : t ∈ Set.Ico 0 1) : 0 < n21Core θ t

theorem Verification.nelsen21_zero_diagonal (θ : ℝ) (hθ : 1 ≤ θ) : ∃ (q : ↑unitInterval), 0 < q ∧ (nelsen21 θ hθ).cdf ![q, q] = 0

theorem Verification.nelsen21_not_pqd (θ : ℝ) (hθ : 1 ≤ θ) : ¬(nelsen21 θ hθ).IsPQD

theorem Verification.nelsen21_not_ci (θ : ℝ) (hθ : 1 ≤ θ) : ¬(nelsen21 θ hθ).IsCI

theorem Verification.nelsen21_not_density_tp2 (θ : ℝ) (hθ : 1 ≤ θ) : ¬(nelsen21 θ hθ).HasMTP2Density

theorem Verification.nelsen21_lowerTail (θ : ℝ) (hθ : 1 ≤ θ) : (nelsen21 θ hθ).HasLowerTailDependence 0