Theorem collinear_iff_not_affineIndependent_of_ne

Modification history