Theorem LinearMap.trace_prodMap

Modification history