Library
▹
Algebra
▹
Rings
Definition 2.8.16.
Let
R
be a
ring
. We define:
R
×
:
=
{
a
∈
R
:
a
is a unit
}
References.
https://leanprover-community.github.io/mathlib_docs/algebra/group/units.html#units