Documentation

LeanPool.ErdosGinzburgZiv.EGZ.ConvexFlag

Public import surface for convex flags, weak hulls, Helly, and centerpoints.