Theorem LinearMap.traceAux_def

Modification history