`BookProof.ChapterSolovayTailDimension.substrate_infinite_dimensional` : ¬ FiniteDimensional ℝ Substrate

Initializing...

`BookProof.ChapterSolovayTailDimension.substrate_infinite_dimensional` : ¬ FiniteDimensional ℝ Substrate · Prove2Me