Theorem LinearMap.trace_comp_comm

Modification history