Theorem LinearMap.mulRight_one

Modification history