Theorem convex_zero

Modification history