Documentation

LeanPool.BrillNoetherGraphs.Utilities.Segments

Imports

Init
LeanPool.BrillNoetherGraphs.Utilities.Segments.AtanasovRanganathan
LeanPool.BrillNoetherGraphs.Utilities.Segments.AtanasovRanganathanConfigurations
LeanPool.BrillNoetherGraphs.Utilities.Segments.GenusFourLoopLemma
LeanPool.BrillNoetherGraphs.Utilities.Segments.SeamCalculus
LeanPool.BrillNoetherGraphs.Utilities.Segments.SegmentReflection

Imported by

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