Documentation

LeanPool.HopfProblem.Uniformization.SpecialPeriods6

Hopf problem: uniformization · special periods 6 #

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

source
def Mathoverflow1973.SpecialPeriods.triangleRealEquiv (g : TriangleGroup) :
RealPlane₄ ≃ₗ[ℝ] RealPlane₄

The real-linear equivalence induced by an element of the triangle group.

Equations
Instances For