Theorem LinearMap.proj_comp_stdBasis

Modification history