Theorem LinearMap.mulLeft_one

Modification history