Documentation
LeanPool
.
RearrangementNumber
.
NonMRR
Search
return to top
source
Imports
Init
LeanPool.RearrangementNumber.NonMRR.BlockAnalysis
LeanPool.RearrangementNumber.NonMRR.Bounding
LeanPool.RearrangementNumber.NonMRR.Catalogue
LeanPool.RearrangementNumber.NonMRR.Category
LeanPool.RearrangementNumber.NonMRR.CategoryBlocks
LeanPool.RearrangementNumber.NonMRR.CategoryBound
LeanPool.RearrangementNumber.NonMRR.CategoryReduction
LeanPool.RearrangementNumber.NonMRR.CategoryTransfer
LeanPool.RearrangementNumber.NonMRR.Construction
LeanPool.RearrangementNumber.NonMRR.FiniteEmbedding
LeanPool.RearrangementNumber.NonMRR.FiniteVectors
LeanPool.RearrangementNumber.NonMRR.GapBounding
LeanPool.RearrangementNumber.NonMRR.LowerBound
LeanPool.RearrangementNumber.NonMRR.Main
LeanPool.RearrangementNumber.NonMRR.Morphism
LeanPool.RearrangementNumber.NonMRR.Padding
LeanPool.RearrangementNumber.NonMRR.PermutationBounds
LeanPool.RearrangementNumber.NonMRR.Relations
LeanPool.RearrangementNumber.NonMRR.Selection
LeanPool.RearrangementNumber.NonMRR.Series
LeanPool.RearrangementNumber.NonMRR.SlalomBound
LeanPool.RearrangementNumber.NonMRR.Slaloms
Imported by
Formalization accompanying the rearrangement-number manuscript.