Units in semirings and rings #
@[simp]
Representing an element of a ring's unit group as an element of the ring commutes with mapping this element to its additive inverse.
Equations
@[simp]
Representing an element of a ring's unit group as an element of the ring commutes with mapping this element to its additive inverse.