Theorem Matrix.isUnit_nonsing_inv_det_iff

Modification history