Theorem LinearMap.mulRight_apply

Modification history