Documentation
LeanPool
.
BrillNoetherGraphs
.
Demazure
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Demazure.AspPerm
LeanPool.BrillNoetherGraphs.Demazure.InvSet
LeanPool.BrillNoetherGraphs.Demazure.ReducedProducts
LeanPool.BrillNoetherGraphs.Demazure.Reduction
LeanPool.BrillNoetherGraphs.Demazure.SlipFace
LeanPool.BrillNoetherGraphs.Demazure.Submodular
LeanPool.BrillNoetherGraphs.Demazure.Transpositions
LeanPool.BrillNoetherGraphs.Demazure.Utils
LeanPool.BrillNoetherGraphs.Demazure.Valley
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.