Theorem LinearMap.pi_proj

Modification history