Theorem subsingleton.convex_independent

Modification history