Theorem Matrix.inv_inj

Modification history