Theorem Sbtw.right_mem_affineSpan

Modification history