Theorem Wbtw.right_mem_affineSpan_of_left_ne

Modification history