Theorem convexJoin_subset

Modification history