Theorem LinearMap.pi_proj_comp

Modification history