Hopf problem: homology theory · sphere homology 3

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

theorem Mathoverflow1973.SphereHomology.unitSphere_homology_subsingleton (n k : ℕ) (hk : k ≠ 0) (hkn : k ≠ n + 1) : Subsingleton ↑(SingularMayerVietoris.SingularHomology (↑(UnitSphere (n + 1))) k)