Theorem LinearMap.trace_id

Modification history