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

Merged

Commits

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

kbuzzard committed 6 years ago
Merge branch 'master' into inv_mul_eq_one

mergify[bot] committed 6 years ago

Loading