Theorem Matrix.nonsing_inv_apply

Modification history