Theorem LinearMap.trace_transpose

Modification history