Theorem Wbtw.left_mem_affineSpan_of_right_ne

Modification history