Theorem collinear_iff_finrank_le_one

Modification history