mathlib documentation

number_theory.number_field.units

Units of a number field #

We prove results about the group (𝓞 K)ˣ of units of the ring of integers 𝓞 K of a number field K.

Main results #

Tags #

number field, units