Theorem coplanar_of_fact_finrank_eq_two

Modification history