Theorem LinearMap.rtensor_add

Modification history