Theorem Matrix.nonsing_inv_apply_not_isUnit

Modification history