Theorem LinearMap.stdBasis_same

Modification history