Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inv_unique

Modification history

2020-05-18 13:38
src/algebra/group/basic.lean
refactor(algebra): merge init_.algebra into algebra (#2707) …
Modified inv_uniqueView on Github →
2020-03-06 19:21
src/algebra/group/basic.lean
refactor(group_theory/monoid_localization): use characteristic predicate (#2004) …
Added inv_uniqueView on Github →