Theorem AffineIndependent.exists_mem_inter_of_exists_mem_inter_affineSpan

Modification history