Theorem affineIndependent_set_iff_linearIndependent_vsub

Modification history