Documentation
LeanPool
.
ConwayRefinement
.
ConwayRefinement
.
HahnSeries
.
OrdinalValue
.
Tests
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.AlgebraicIndependence
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.BerarducciPrimitives
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.ComplexityDecrease
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.Convolution
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.ConvolutionList
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.ConvolutionRemainder
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.CriticalPoint
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.OrdinalValueFinalSegment
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.OrdinalValueSubmultiplicative
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalComponent
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalComponentDegree
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalComponentTensor
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalSubring
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalSubringFiniteSupport
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalSubringFraction
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalSubringTensor
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.PrincipalValue
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.ResidualPoint
LeanPool.ConwayRefinement.ConwayRefinement.HahnSeries.OrdinalValue.Tests.SectionSixThree
Imported by
Supporting modules for Conway refinement for omnific integers.