Theorem AffineMap.lineMap_same_apply

Modification history