Theorem AffineMap.homothety_mul

Modification history