Theorem LinearMap.trace_one

Modification history