Theorem Matrix.aeval_eq_aeval_mod_charpoly

Modification history