P
Initializing...
`BookProof.InverseTransform.cdf_succ_sub` (k : ℕ) : cdf p (k + 1) - cdf p k = p k · Prove2Me