Theorem LinearMap.mulRight_inj

Modification history