Theorem AffineMap.homothety_apply

Modification history