Theorem LinearMap.mul_injective

Modification history