Theorem Matrix.exists_left_inverse_iff_isUnit

Modification history