`BookProof.ChapterSolovayTailDimension.substrate_orthonormal_family` : ∃ e : ℕ → Substrate, Orthonormal ℝ e

Initializing...

`BookProof.ChapterSolovayTailDimension.substrate_orthonormal_family` : ∃ e : ℕ → Substrate, Orthonormal ℝ e · Prove2Me