Theorem LinearMap.trace_eq_contract'

Modification history