Theorem LinearMap.proj_pi

Modification history