Hopf problem: cusp fibre · cusp central homology 1 #
Supporting definitions and proofs for this stage of the six-sphere construction.
theorem
Mathoverflow1973.CuspCentralHomology.singularHomologyMap_eq_zero_of_nullhomotopic
{X Y : Type}
[TopologicalSpace X]
[TopologicalSpace Y]
(f : C(X, Y))
(hf : f.Nullhomotopic)
(n : ℕ)
(hn : n ≠ 0)
: