Theorem LinearMap.proj_stdBasis_ne

Modification history