Theorem LinearMap.ltensor_id_apply

Modification history