Theorem AffineMap.ext_linear

Modification history