Theorem convexJoin_mono

Modification history