Hopf problem: torus homology · period torus higher homology 8

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

theorem Mathoverflow1973.PeriodTorusHigherHomology.circleHomologyOneEquiv_symm_int (k : ℤ) : circleHomologyOneEquiv.symm k = k • FirstHurewicz.loopHomologyClass CirclePaths.positiveLoop