Documentation

Mathlib.Algebra.Ring.Subring.Units

Unit subgroups of a ring #

The subgroup of positive units of a linear ordered semiring.

Equations
Instances For