Theorem locallyConvexSpace_iff_exists_convex_subset

Modification history