Theorem AffineMap.homothety_zero

Modification history