Theorem convexJoin_singleton_right

Modification history