Theorem collinear_insert_insert_insert_left_of_mem_affineSpan_pair

Modification history