Theorem LinearMap.rTensor_zero

Modification history