Theorem convexJoin_mono_left

Modification history