Theorem convexJoin_assoc_aux

Modification history