Theorem Matrix.ker_diagonal_toLin'

Modification history