← Mathematical handbook

theorem Verification.plackett_toMeasure_density {θ : ℝ} (hθ : 0 < θ) (hne : θ ≠ 1) : (plackett θ hθ).toMeasure = MeasureTheory.volume.withDensity fun (x : Fin 2 → ↑unitInterval) => ENNReal.ofReal (plackettDensity θ ↑(x 0) ↑(x 1))