Theorem Matrix.diagonal_pow

Modification history