Theorem Algebra.trace_trace_of_basis

Modification history