Theorem Algebra.trace_comp_trace_of_basis

Modification history