Theorem Matrix.charpoly.univ_coeff_isHomogeneous

Modification history