Theorem smul_vsub_vadd_mem_affineSpan_pair

Modification history