Hopf problem: homology theory · first hurewicz 1 #
Supporting definitions and proofs for this stage of the six-sphere construction.
theorem
Mathoverflow1973.SphereHomology.singularHomologyMap_zero_injective
{X Y : Type}
[TopologicalSpace X]
[TopologicalSpace Y]
[PathConnectedSpace X]
[PathConnectedSpace Y]
(f : C(X, Y))
: