Theorem LinearMap.mulLeft_mul

Modification history