← Mathematical handbook

theorem Verification.plackettLogScore_monotone {θ u : ℝ} (hθ : θ ∈ Set.Icc 1 2) (hu : u ∈ Set.Icc 0 1) : MonotoneOn (plackettLogScore θ u) (Set.Icc 0 1)

theorem Verification.plackettDensity_isTP2 {θ : ℝ} (hθ : θ ∈ Set.Icc 1 2) : ProbabilityTheory.IsTP2 fun (u v : ↑unitInterval) => plackettDensity θ ↑u ↑v

theorem Verification.plackett_hasMTP2Density {θ : ℝ} (hθ : 0 < θ) (h : θ ∈ Set.Icc 1 2) : (plackett θ hθ).HasMTP2Density

theorem Verification.plackett_density_tp2_iff {θ : ℝ} (hθ : 0 < θ) : (plackett θ hθ).HasMTP2Density ↔ θ ∈ Set.Icc 1 2