Theorem Sbtw.left_mem_affineSpan

Modification history