Documentation

LeanPool.BrillNoetherGraphs.Research

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