Theorem LinearMap.ltensor_smul

Modification history