Documentation
LeanPool
.
Polylean
.
ConjInvLength
Search
return to top
source
Imports
Init
LeanPool.Polylean.ConjInvLength.Length
LeanPool.Polylean.ConjInvLength.LengthBound
LeanPool.Polylean.ConjInvLength.LengthNode
LeanPool.Polylean.ConjInvLength.MemoLength
LeanPool.Polylean.ConjInvLength.ProvedBound
LeanPool.Polylean.ConjInvLength.WordTree
Imported by
Conjugacy-Invariant Length
#
Import index for the Polylean conjugacy-invariant length computations.