Hopf problem: torus homology · period torus higher homology 7

Supporting definitions and proofs for this stage of the six-sphere construction.

theorem Mathoverflow1973.PeriodTorusHigherHomology.realTorus_homology_subsingleton_of_lt {n : ℕ} (hn : 4 < n) : Subsingleton ↑(SingularMayerVietoris.SingularHomology RealTorus₄ n)