Theorem affineIndependent_iff_linearIndependent_vsub

Modification history