basic.lean): add inv_mul_eq_one (#2349)

Commit

6 years ago

feat(algebra/group/basic.lean): add inv_mul_eq_one (#2349) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

kbuzzard

Parents