Theorem Matrix.isUnit_diagonal

Modification history