Theorem LinearMap.mulRight_mul

Modification history