Theorem LinearMap.ltensor_mul

Modification history