Documentation
LeanPool
.
BrillNoetherGraphs
.
Bananas
.
Wedge
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Bananas.Wedge.KGeneralWedgeGenerality
LeanPool.BrillNoetherGraphs.Bananas.Wedge.OnceMarkedWedgeGenerality
LeanPool.BrillNoetherGraphs.Bananas.Wedge.OppositeWedgeKGeneralClassification
LeanPool.BrillNoetherGraphs.Bananas.Wedge.OppositeWedgeRigidity
LeanPool.BrillNoetherGraphs.Bananas.Wedge.SameFactorWedgeKGeneral
LeanPool.BrillNoetherGraphs.Bananas.Wedge.SameFactorWedgePeriod
LeanPool.BrillNoetherGraphs.Bananas.Wedge.SameFactorWedgeRight
LeanPool.BrillNoetherGraphs.Bananas.Wedge.SameFactorWedgeSubmodularity
LeanPool.BrillNoetherGraphs.Bananas.Wedge.TwoVertexWedgeSubmodularity
LeanPool.BrillNoetherGraphs.Bananas.Wedge.VertexWedgeAssociativity
LeanPool.BrillNoetherGraphs.Bananas.Wedge.WedgeKGeneralClassification
LeanPool.BrillNoetherGraphs.Bananas.Wedge.WedgeKGeneralConverse
LeanPool.BrillNoetherGraphs.Bananas.Wedge.WedgeKGeneralSymmetric
LeanPool.BrillNoetherGraphs.Bananas.Wedge.WedgePeriodRecurrence
LeanPool.BrillNoetherGraphs.Bananas.Wedge.WedgeSubmodularity
LeanPool.BrillNoetherGraphs.Bananas.Wedge.WedgeTorsionRestriction
LeanPool.BrillNoetherGraphs.Bananas.Wedge.ZeroGenusWedge
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.