Documentation
LeanPool
.
BrillNoetherGraphs
.
Bananas
.
SameStrand
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.BananaEndpointDelta
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.BananaEndpointRankCriterion
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.EndpointBlock
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.EndpointCardinality
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.EndpointInversions
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.NSMClassification
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.NSMCrossWitness
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.NSMFullClassification
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.NSMSecondCrossWitness
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.SameStrand
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.SameStrandEndpointNegative
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.SameStrandInteriorNegative
LeanPool.BrillNoetherGraphs.Bananas.SameStrand.Semibreak
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.