Theorem convex_iff_div

Modification history