Hopf problem: torus homology · period torus higher homology 3

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

noncomputable def Mathoverflow1973.PeriodTorusHigherHomology.circleHomologyOneEquiv : ↑(SingularMayerVietoris.SingularHomology CircleTopology.Circle 1) ≃ₗ[ℤ] ℤ

The canonical linear equivalence from first homology of the circle to the integers.

Equations

• One or more equations did not get rendered due to their size.