Metadata
aliases: [Every element of a group has a unique inverse, Left and right inverses in monoids are the same]
shorthands: {}
created: 2021-11-05 22:54:40
modified: 2022-11-12 02:27:49
Statement: every
Suppose that
So