Theorem AffineMap.homothety_one

Modification history