Theorem convexJoin_empty_left

Modification history