Theorem LinearMap.lTensor_id_apply

Modification history