Theorem LinearMap.trace_baseChange

Modification history