Theorem AffineMap.lineMap_vadd_apply

Modification history