Theorem LinearMap.mul'_apply

Modification history