basic.lean): add inv_mul_eq_one
#2349

Merged

feat(algebra/group/basic.lean): add inv_mul_eq_one #2349

mergify merged 2 commits into master from inv_mul_eq_one

feat(algebra/group/basic.lean): add inv_mul_eq_one

299fb460

kim-em approved these changes on 2020-04-07

kim-em added ready-to-merge

Merge branch 'master' into inv_mul_eq_one

acf8461d

mergify merged 0e2970c7 into master 6 years ago

mergify deleted the inv_mul_eq_one branch 6 years ago

Reviewers

kim-em

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone