Theorem Matrix.diagonal_comp_single

Modification history