Documentation
LeanPool
.
BrillNoetherGraphs
.
Bananas
.
Basics
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Bananas.Basics.BananaBasics
LeanPool.BrillNoetherGraphs.Bananas.Basics.BananaGeometry
LeanPool.BrillNoetherGraphs.Bananas.Basics.BananaSameStrandLemma
LeanPool.BrillNoetherGraphs.Bananas.Basics.Definitions
LeanPool.BrillNoetherGraphs.Bananas.Basics.DegreeOneRepresentatives
LeanPool.BrillNoetherGraphs.Bananas.Basics.GraphIsoCuts
LeanPool.BrillNoetherGraphs.Bananas.Basics.MarkedIso
LeanPool.BrillNoetherGraphs.Bananas.Basics.ReducedCutCriterion
LeanPool.BrillNoetherGraphs.Bananas.Basics.SegmentScript
LeanPool.BrillNoetherGraphs.Bananas.Basics.TwoEdgeCuts
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.