← Mathematical handbook

theorem Papers.AnsariRockel2024.student_isSI_iff (r : ℝ) (hr : r ∈ Set.Icc (-1) 1) (ν : ℝ) (hν : 0 < ν) : (Verification.studentBivariate r hr ν hν).IsSI ↔ r = 1

theorem Papers.AnsariRockel2024.student_isCI_iff (r : ℝ) (hr : r ∈ Set.Icc (-1) 1) (ν : ℝ) (hν : 0 < ν) : (Verification.studentBivariate r hr ν hν).IsCI ↔ r = 1

theorem Papers.AnsariRockel2024.student_isSD_iff (r : ℝ) (hr : r ∈ Set.Icc (-1) 1) (ν : ℝ) (hν : 0 < ν) : (Verification.studentBivariate r hr ν hν).IsSD ↔ r = -1

theorem Papers.AnsariRockel2024.student_isCD_iff (r : ℝ) (hr : r ∈ Set.Icc (-1) 1) (ν : ℝ) (hν : 0 < ν) : (Verification.studentBivariate r hr ν hν).IsCD ↔ r = -1

theorem Papers.AnsariRockel2024.student_not_hasMTP2Density (r : ℝ) (hr : r ∈ Set.Icc (-1) 1) (ν : ℝ) (hν : 0 < ν) : ¬(Verification.studentBivariate r hr ν hν).HasMTP2Density