Theorem collinear_iff_exists_forall_eq_smul_vadd

Modification history