Theorem AffineMap.vsub_lineMap

Modification history