Documentation
LeanPool
.
BrillNoetherGraphs
.
Utilities
.
Iso
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Utilities.Iso.Fossil
LeanPool.BrillNoetherGraphs.Utilities.Iso.FossilTopology
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphConstructorIso
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContraction
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContractionEuler
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContractionFibreTree
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContractionTopology
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphIso
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.