Theorem Matrix.charpoly_coeff_eq_prod_coeff_of_le

Modification history