Theorem LinearMap.mulLeft_inj

Modification history