Theorem LinearMap.ker_stdBasis

Modification history