Theorem convex_sInter

Modification history