Theorem LinearMap.trace_eq_contract_apply

Modification history