Theorem affineIndependent_iff_not_collinear_of_ne

Modification history