Theorem LinearMap.mul_toMatrix'

Modification history