Documentation

LeanPool.BrillNoetherGraphs.Bananas.Classification

Imports

Init
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessDegreeOneClasses
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusOneTopology
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusTwoClassification
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusTwoCornerAlgebra
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusTwoDegreeShape
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusTwoKGeneralReduction
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusTwoNonrecurrence
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusTwoPseudocore
LeanPool.BrillNoetherGraphs.Bananas.Classification.BridgelessGenusTwoTopology
LeanPool.BrillNoetherGraphs.Bananas.Classification.CorrectedBananaSimple
LeanPool.BrillNoetherGraphs.Bananas.Classification.CorrectedBananaTheorem117
LeanPool.BrillNoetherGraphs.Bananas.Classification.CorrectedBananaTorsion
LeanPool.BrillNoetherGraphs.Bananas.Classification.CorrectedMidpointKGeneral
LeanPool.BrillNoetherGraphs.Bananas.Classification.GenusOneKGeneral
LeanPool.BrillNoetherGraphs.Bananas.Classification.GenusOneRankDelta
LeanPool.BrillNoetherGraphs.Bananas.Classification.GenusTwoDegreeTwo
LeanPool.BrillNoetherGraphs.Bananas.Classification.GenusTwoReduction
LeanPool.BrillNoetherGraphs.Bananas.Classification.PointedGenusOneKGeneral
LeanPool.BrillNoetherGraphs.Bananas.Classification.SciWeierstrass
LeanPool.BrillNoetherGraphs.Bananas.Classification.WeierstrassPartition

Imported by

Supporting modules for Brill–Noether theory and gonality of finite graphs.