Theorem AffineMap.lineMap_rev_mem_affineSpan_pair

Modification history