Theorem LinearMap.lTensor_def

Modification history