Theorem AffineEquiv.linear_toAffineMap

Modification history