Nelsen 12 lower-orthant parameter order from Table 3 #
theorem
Papers.AnsariRockel2024.nelsen12_lowerOrthant
{θ η : ℝ}
(hθ : 1 ≤ θ)
(hη : 1 ≤ η)
(hθη : θ ≤ η)
:
For all finite admissible parameters θ ≤ η, Nelsen 12 at θ lies below Nelsen 12 at η in lower-orthant order on the whole closed square.