Theorem convexJoin_comm

Modification history