Theorem AffineMap.vsub_apply

Modification history