Theorem coplanar_insert_iff_of_mem_affineSpan

Modification history