Theorem Matrix.proj_diagonal

Modification history