Theorem LinearMap.trace_prodMap'

Modification history