Theorem right_mem_affineSpan_pair

Modification history