Theorem LinearMap.mulRight_injective

Modification history