Documentation
LeanPool
.
BrillNoetherGraphs
.
TreewidthGonality
.
Gonality
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.TreewidthGonality.Gonality.BrambleGonality
LeanPool.BrillNoetherGraphs.TreewidthGonality.Gonality.TreewidthGonality
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.