Theorem Matrix.diagonal_injective

Modification history