← Mathematical handbook

theorem Verification.nelsen11_isSD (θ : ℝ) (hθ0 : 0 ≤ θ) (hθ1 : θ ≤ 1 / 2) : (nelsen11 θ hθ0 hθ1).IsSD

theorem Verification.nelsen11_isCD (θ : ℝ) (hθ0 : 0 ≤ θ) (hθ1 : θ ≤ 1 / 2) : (nelsen11 θ hθ0 hθ1).IsCD