Hopf problem: homology theory · sphere homology 2

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

theorem Mathoverflow1973.SphereHomology.sphereCircle_homology_subsingleton (n : ℕ) : Subsingleton ↑(SingularMayerVietoris.SingularHomology (↑(Metric.sphere 0 1)) (n + 2))