Theorem AffineMap.add_linear

Modification history