Theorem convexJoin_right_comm

Modification history