Theorem locallyConvexSpace_iff_exists_convex_subset_zero

Modification history