Documentation
LeanPool
.
BrillNoetherGraphs
.
Bananas
.
ChainOfLoops
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Bananas.ChainOfLoops.BridgeChainTransport
LeanPool.BrillNoetherGraphs.Bananas.ChainOfLoops.CDPR
LeanPool.BrillNoetherGraphs.Bananas.ChainOfLoops.CommonPeriodGonality
LeanPool.BrillNoetherGraphs.Bananas.ChainOfLoops.Highlights
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.