`BookProof.ChapterSolovayTailDimension.substrateInterval_subset` (n : ℕ) : substrateInterval n ⊆ Icc (0 : ℝ) 1

Initializing...

`BookProof.ChapterSolovayTailDimension.substrateInterval_subset` (n : ℕ) : substrateInterval n ⊆ Icc (0 : ℝ) 1 · Prove2Me