Theorem affineIndependent_iff_not_collinear

Modification history