Theorem AffineMap.const_linear

Modification history