Theorem Algebra.trace_prod

Modification history