Theorem Matrix.charpoly_natDegree_eq_dim

Modification history