Theorem AffineMap.proj_pi

Modification history