Theorem LinearMap.lTensor_zero

Modification history