Documentation
LeanPool
.
BrillNoetherGraphs
.
TreewidthGonality
.
Treewidth
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.TreewidthGonality.Treewidth.Bramble
LeanPool.BrillNoetherGraphs.TreewidthGonality.Treewidth.PartialDecomposition
LeanPool.BrillNoetherGraphs.TreewidthGonality.Treewidth.Separation
LeanPool.BrillNoetherGraphs.TreewidthGonality.Treewidth.SeymourThomas
LeanPool.BrillNoetherGraphs.TreewidthGonality.Treewidth.SeymourThomasInduction
LeanPool.BrillNoetherGraphs.TreewidthGonality.Treewidth.TreeDecomposition
LeanPool.BrillNoetherGraphs.TreewidthGonality.Treewidth.TreePath
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.