Theorem LinearMap.ltensor_add

Modification history