Theorem units.inv_eq_of_mul_eq_one
Modification history
2022-05-10 17:00
src/algebra/group/units.lean
refactor(algebra/{group,group_with_zero/basic): Delete lemmas generalized to division monoids (#14042) …
Deleted units.inv_eq_of_mul_eq_oneView on Github →