Theorem LinearMap.trace_comp_comm'

Modification history