Theorem LinearMap.traceAux_eq

Modification history