Documentation

LeanPool.BrillNoetherGraphs.ChipFiringWithLean

Imports

Init
LeanPool.BrillNoetherGraphs.ChipFiringWithLean.Basic
LeanPool.BrillNoetherGraphs.ChipFiringWithLean.Config
LeanPool.BrillNoetherGraphs.ChipFiringWithLean.Orientation
LeanPool.BrillNoetherGraphs.ChipFiringWithLean.RRGHelpers
LeanPool.BrillNoetherGraphs.ChipFiringWithLean.Rank
LeanPool.BrillNoetherGraphs.ChipFiringWithLean.RiemannRoch

Imported by

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