Theorem Matrix.isUnit_nonsing_inv_det

Modification history