Documentation

Mathlib.Algebra.Ring.Int.Field

ℤ is not a field #

source
theorem Int.not_isField :
¬IsField ℤ

ℤ with its usual ring structure is not a field.