Theorem LinearMap.mulLeft_injective

Modification history