Theorem collinear_iff_rank_le_one

Modification history