Theorem LinearMap.mulLeftRight_apply

Modification history