Theorem Matrix.det_eq_sign_charpoly_coeff

Modification history