Theorem AffineMap.proj_apply

Modification history