Theorem Matrix.diagonal_toLin'

Modification history