mathlib
a022bb75 - feat(algebra/invertible): add a missing lemma `inv_of_eq_left_inv` (#8179)

Commit

4 years ago

feat(algebra/invertible): add a missing lemma `inv_of_eq_left_inv` (#8179) add "inv_of_eq_left_inv"

Author

l534zhan

Parents