Theorem LieAlgebra.matrix_trace_commutator_zero

Modification history