Theorem LinearMap.rTensor_id_apply

Modification history