Documentation
LeanPool
.
ConwayRefinement
.
ConwayRefinement
.
Algebra
.
LoweringDerivation
Search
return to top
source
Imports
Init
LeanPool.ConwayRefinement.ConwayRefinement.Algebra.LoweringDerivation.BaseChange
LeanPool.ConwayRefinement.ConwayRefinement.Algebra.LoweringDerivation.Correction
LeanPool.ConwayRefinement.ConwayRefinement.Algebra.LoweringDerivation.FilteredModule
LeanPool.ConwayRefinement.ConwayRefinement.Algebra.LoweringDerivation.Grading
LeanPool.ConwayRefinement.ConwayRefinement.Algebra.LoweringDerivation.IdealGEGraded
LeanPool.ConwayRefinement.ConwayRefinement.Algebra.LoweringDerivation.Mu
LeanPool.ConwayRefinement.ConwayRefinement.Algebra.LoweringDerivation.Polynomial
Imported by
Supporting modules for Conway refinement for omnific integers.