Theorem AffineMap.homothety_def

Modification history