Theorem subset_convexJoin_right

Modification history