`BookProof.InverseTransform.seedSet_measure` (k : ℕ) : volume (seedSet p k) = ENNReal.ofReal (p k)

Initializing...

`BookProof.InverseTransform.seedSet_measure` (k : ℕ) : volume (seedSet p k) = ENNReal.ofReal (p k) · Prove2Me