Documentation
LeanPool
.
BrillNoetherGraphs
.
Utilities
.
Grassmannian
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianAsp
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianEnvelope
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianExistence
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianShift
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.OnceMarked
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.OnceMarkedGonality
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.