Theorem Matrix.isUnit_det_of_left_inverse

Modification history