Theorem Matrix.isUnit_det_of_invertible

Modification history