Theorem convexJoin_singletons

Modification history