Theorem mem_convexJoin

Modification history