Theorem convexIndependent_iff_finset

Modification history