Theorem LinearMap.trace_tensorProduct'

Modification history