Commit 2025-04-12 05:43 14afd0d0
View on Github →feature(Analysis/LocallyConvex/AbsConvex): Add zero_mem_absConvexHull (#23845) The origin is a member of the absolute convex hull of a non-empty set (under appropriate hypothesis).
feature(Analysis/LocallyConvex/AbsConvex): Add zero_mem_absConvexHull (#23845) The origin is a member of the absolute convex hull of a non-empty set (under appropriate hypothesis).