Theorem Matrix.diagonal_apply_ne

Modification history