Documentation
LeanPool
.
BrillNoetherGraphs
.
LowGenus
.
Generated
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.LowGenus.Generated.G4Row096
LeanPool.BrillNoetherGraphs.LowGenus.Generated.G4Row099
LeanPool.BrillNoetherGraphs.LowGenus.Generated.G4Row100
LeanPool.BrillNoetherGraphs.LowGenus.Generated.GenusFiveCanonicalClassifierData
LeanPool.BrillNoetherGraphs.LowGenus.Generated.GenusFourCanonicalClassifierData
LeanPool.BrillNoetherGraphs.LowGenus.Generated.GenusFourClosedRows
LeanPool.BrillNoetherGraphs.LowGenus.Generated.GenusFourRow095FaceData
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.