Theorem LinearMap.trace_transpose'

Modification history