Theorem LinearMap.coe_stdBasis

Modification history