Theorem convexJoin_iUnion_left

Modification history