Theorem AffineMap.homothety_add

Modification history