Theorem LinearMap.proj_stdBasis_same

Modification history