Theorem collinear_insert_iff_of_mem_affineSpan

Modification history