Theorem Convex.toWeakSpace_closure

Modification history