Theorem collinear_insert_insert_insert_of_mem_affineSpan_pair

Modification history