Theorem LinearMap.ltensor_sub

Modification history