Documentation

LeanPool.HopfProblem.TorusHomology.PeriodTorusHigherHomology2

Hopf problem: torus homology ยท period torus higher homology 2 #

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

source
@[reducible, inline]
abbrev Mathoverflow1973.PeriodTorusHigherHomology.CircleTopology.Circle :
Type

The additive circle of circumference one.

Equations
Instances For