Hopf problem: homology theory · first hurewicz 2 #
Supporting definitions and proofs for this stage of the six-sphere construction.
theorem
Mathoverflow1973.SphereHomology.twoOpenCover_simplyConnectedSpace
{X : Type u_1}
[TopologicalSpace X]
(D : FundamentalGroupVanKampen.TwoOpenCover X)
[SimplyConnectedSpace ↥D.U]
[SimplyConnectedSpace ↥D.V]
: