Theorem LinearMap.stdBasis_apply'

Modification history