P
Initializing...
`BookProof.InverseTransform.cdf_monotone` (hp : ∀ i, 0 ≤ p i) : Monotone (cdf p) · Prove2Me