Documentation

Mathlib.Algebra.Ring.Int.Units

Basic lemmas for ℤˣ. #

This file contains lemmas on the units of .

Main results #

See note [foundational algebra order theory].

Units #