Theorem coplanar_iff_finrank_le_two

Modification history