Theorem subset_convexJoin_left

Modification history