Theorem Matrix.coeff_charpolyRev_eq_neg_trace

Modification history