mathlib3 documentation


Units of a number field #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4. 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