Theorem Matrix.diag_single_same

Modification history