Documentation

LeanPool.HopfProblem.PeriodFamily.Core7

Hopf problem: period family ยท core 7 #

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

source
def Mathoverflow1973.PeriodFamily.Boundary.EllipticTopFibre.circleNegation :
C(PeriodTorusHigherHomology.CircleTopology.Circle, PeriodTorusHigherHomology.CircleTopology.Circle)

Negation on the unit circle as a homeomorphism.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    @[simp]
    theorem Mathoverflow1973.PeriodFamily.Boundary.EllipticTopFibre.circleNegation_zero :
    circleNegation 0 = 0