Theorem AffineMap.proj_linear

Modification history