Theorem AffineMap.lineMap_vsub_left

Modification history