← Mathematical handbook

theorem Verification.nelsen18_upperTail (θ : ℝ) (hθ : 2 ≤ θ) : (nelsen18 θ hθ).HasUpperTailDependence 1

theorem Verification.nelsen18_not_nqd (θ : ℝ) (hθ : 2 ≤ θ) : ¬(nelsen18 θ hθ).IsNQD

theorem Verification.nelsen18_not_cd (θ : ℝ) (hθ : 2 ≤ θ) : ¬(nelsen18 θ hθ).IsCD