Theorem AffineMap.lineMap_linear

Modification history