Theorem Matrix.diagonal_map

Modification history