`BookProof.ChapterNote68AllModes.finrank_euclidean_three` : Module.finrank ℝ (EuclideanSpace ℝ (Fin 3)) = 3

Initializing...

`BookProof.ChapterNote68AllModes.finrank_euclidean_three` : Module.finrank ℝ (EuclideanSpace ℝ (Fin 3)) = 3 · Prove2Me