Theorem Matrix.trace_eq_neg_charpoly_coeff

Modification history