Theorem LinearMap.trace_conj

Modification history