Documentation
LeanPool
.
ErdosGinzburgZiv
.
EGZ
.
Convex
Search
return to top
source
Imports
Init
LeanPool.ErdosGinzburgZiv.EGZ.Convex.AffineLattice
LeanPool.ErdosGinzburgZiv.EGZ.Convex.FaceCombinations
LeanPool.ErdosGinzburgZiv.EGZ.Convex.Faces
LeanPool.ErdosGinzburgZiv.EGZ.Convex.FiniteHull
LeanPool.ErdosGinzburgZiv.EGZ.Convex.HollowBound
LeanPool.ErdosGinzburgZiv.EGZ.Convex.HollowReduction
LeanPool.ErdosGinzburgZiv.EGZ.Convex.Homogenization
LeanPool.ErdosGinzburgZiv.EGZ.Convex.LeastFaceInterior
LeanPool.ErdosGinzburgZiv.EGZ.Convex.Polytope
LeanPool.ErdosGinzburgZiv.EGZ.Convex.VertexHull
LeanPool.ErdosGinzburgZiv.EGZ.Convex.VertexWeights
Imported by
Public import surface for the rational/real convex-geometry layer.