Hopf problem: elliptic · core 3

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

theorem Mathoverflow1973.Elliptic.Equivariant.Data.discLocallyCompact : LocallyCompactSpace ↥SpecialPeriods.Disc