Theorem mem_affineSpan

Modification history