`BookProof.ChapterSolovayTailDimension.substrateInterval_measure` (n : ℕ) : unitMeasure (substrateInterval n) = ENNReal.ofReal (1 / ((n : ℝ) + 1)

Initializing...

`BookProof.ChapterSolovayTailDimension.substrateInterval_measure` (n : ℕ) : unitMeasure (substrateInterval n) = ENNReal.ofReal (1 / ((n : ℝ) + 1) - 1 / ((n : ℝ) + 2)) · Prove2Me