Hopf problem: pi 1 · mapping torus homology

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

theorem Mathoverflow1973.MappingTorusHomology.Covering.inverseMonodromy_period_mo1973_27385 {X : Type} [TopologicalSpace X] (m : ℕ) (B : X ≃ₜ X) (h : B ^ m = 1) : B.symm ^ m = 1