Theorem convexJoin_mono_right

Modification history