Theorem Matrix.compl_apply_diag

Modification history