Theorem Matrix.inv_zero

Modification history