Theorem LinearMap.trace_tensorProduct

Modification history