Theorem LinearMap.trace_eq_contract_of_basis'

Modification history