Theorem AffineMap.sub_linear

Modification history