Theorem Matrix.isUnit_det_of_right_inverse

Modification history