Theorem Matrix.diag_sub

Modification history