Documentation
LeanPool
.
BrillNoetherGraphs
.
Bananas
.
Sections
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionFiveDefinitions
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionFiveInversionBound
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionFiveStatements
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionFiveSymmetries
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionFiveTransports
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionSixBananaCorollary
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionSixChainConclusion
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionSixDefinitions
LeanPool.BrillNoetherGraphs.Bananas.Sections.SectionSixFoundation
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.