Theorem Wbtw.mem_affineSpan

Modification history