Theorem AffineMap.homothety_neg_one_apply

Modification history