Documentation
LeanPool
.
BrillNoetherGraphs
.
Bananas
.
Jacobian
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianDiagonal
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianLatticeReduction
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianLeftJustification
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianPresentation
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianProposition214
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianQuotientCertificate
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianReducedBridge
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianReducedInjectivity
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianReducedUniqueness
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianReductionTermination
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaJacobianSurjectivity
LeanPool.BrillNoetherGraphs.Bananas.Jacobian.BananaTorsionSlopes
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.