Theorem convexJoin_left_comm

Modification history