Theorem AffineMap.right_vsub_lineMap

Modification history