Theorem AffineMap.ext_linear_iff

Modification history