Theorem AffineMap.homothety_eq_lineMap

Modification history