Theorem LinearMap.stdBasis_eq_single

Modification history