Theorem Matrix.trace_mul_cycle'

Modification history