Units in multiplicative and additive opposites #
The additive units of the additive opposites are equivalent to the additive opposites of the additive units.
Equations
- One or more equations did not get rendered due to their size.
Instances For
@[simp]
@[simp]
@[simp]