Documentation
LeanPool
.
Polylean
.
Imports
Search
return to top
source
Imports
Init
LeanPool.Polylean
LeanPool.Polylean.Complexes
LeanPool.Polylean.ConjInvLength
LeanPool.Polylean.Polymath
LeanPool.Polylean.UnitConjecture
LeanPool.Polylean.Complexes.GraphPaths
LeanPool.Polylean.ConjInvLength.Length
LeanPool.Polylean.ConjInvLength.LengthBound
LeanPool.Polylean.ConjInvLength.LengthNode
LeanPool.Polylean.ConjInvLength.MemoLength
LeanPool.Polylean.ConjInvLength.ProvedBound
LeanPool.Polylean.ConjInvLength.WordTree
LeanPool.Polylean.UnitConjecture.AddFreeGroup
LeanPool.Polylean.UnitConjecture.Cocycle
LeanPool.Polylean.UnitConjecture.EnumDecide
LeanPool.Polylean.UnitConjecture.FreeModule
LeanPool.Polylean.UnitConjecture.GardamGroup
LeanPool.Polylean.UnitConjecture.GardamTheorem
LeanPool.Polylean.UnitConjecture.GroupRing
LeanPool.Polylean.UnitConjecture.MetabelianGroup
LeanPool.Polylean.UnitConjecture.Tactics
LeanPool.Polylean.UnitConjecture.TorsionFree
LeanPool.Polylean.Complexes.Constructions.UniversalCover
LeanPool.Polylean.Complexes.Structures.Category
LeanPool.Polylean.Complexes.Structures.FreeGroupoid
LeanPool.Polylean.Complexes.Structures.Groupoid
LeanPool.Polylean.Complexes.Structures.Invertegory
LeanPool.Polylean.Complexes.Structures.Quiver
LeanPool.Polylean.Complexes.Structures.TwoComplex
LeanPool.Polylean.UnitConjecture.Tactics.AesopRuleSets
LeanPool.Polylean.UnitConjecture.Tactics.ReduceGoal
Imported by