Theorem Matrix.pow_eq_aeval_mod_charpoly

Modification history