Theorem LinearMap.mulLeft_apply

Modification history