Theorem convexJoin_union_right

Modification history