Theorem LinearMap.rtensor_id

Modification history