Theorem Matrix.isUnit_of_left_inverse

Modification history