Theorem LinearMap.trace_mul_comm

Modification history