Theorem AffineMap.lineMap_symm

Modification history