Theorem LinearMap.proj_apply

Modification history