Theorem Matrix.reverse_charpoly

Modification history