Theorem AffineMap.neg_linear

Modification history