Theorem convexJoin_union_left

Modification history