Documentation

LeanPool.BrillNoetherGraphs.Utilities.Pseudocore

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