Theorem AffineMap.linearMap_vsub

Modification history