`BookProof.ChapterSolovayTailDimension.substrateIntervals_disjoint` {m n : ℕ} (h : m ≠ n) : substrateInterval m ∩ substrateInterval n = ∅

Initializing...

`BookProof.ChapterSolovayTailDimension.substrateIntervals_disjoint` {m n : ℕ} (h : m ≠ n) : substrateInterval m ∩ substrateInterval n = ∅ · Prove2Me