Theorem coplanar_of_finrank_eq_two

Modification history