Hopf problem: cusp fibre · cusp negation

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

theorem Mathoverflow1973.CuspNegation.monodromy_map_neg (x : RealTorus₄) : ThreefoldOverlapMappingTorus.Cusp.monodromy (-x) = -ThreefoldOverlapMappingTorus.Cusp.monodromy x