Theorem Matrix.exists_right_inverse_iff_isUnit

Modification history