Theorem Matrix.range_diagonal

Modification history