Theorem LinearMap.ltensor_zero

Modification history