`BookProof.ChapterSolovayTailDimension.substrateBasisVector_orthonormal` : Orthonormal ℝ substrateBasisVector

Initializing...

`BookProof.ChapterSolovayTailDimension.substrateBasisVector_orthonormal` : Orthonormal ℝ substrateBasisVector · Prove2Me