Theorem LinearMap.rtensor_zero

Modification history