Skip to content

prove that if the homogenization cone of a convex set is FG, its a polytope #62

Closed
#71
Closed
prove that if the homogenization cone of a convex set is FG, its a polytope#62
#71

Description

@ooovi
ooovi
opened on Jun 6, 2026

IsPolytope.iff_homogenize_FG in Polyhedral.Mathlib.Geometry.Convex.ConvexSpace.Polytope.Homogenization

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions