← Mathematical handbook

noncomputable def Verification.studentPrintedJointPDF (r ν : ℝ) (p : ℝ × ℝ) : ℝ

Literal arXiv v3 HTML Table 1 expression, using correlation r in the printed dimension slots.

Equations

• One or more equations did not get rendered due to their size.

theorem Verification.studentPrintedJointPDF_zero_two_origin : studentPrintedJointPDF 0 2 (0, 0) = 1

theorem Verification.studentJointPDF_zero_two_origin : studentJointPDF 0 2 (0, 0) = (2 * Real.pi)⁻¹

theorem Verification.student_joint_printed_formula_false : ¬∀ r ∈ Set.Ioo (-1) 1, ∀ (ν : ℝ), 0 < ν → ∀ (p : ℝ × ℝ), studentJointPDF r ν p = studentPrintedJointPDF r ν p