Mathlib.Data.ENat.Lattice
source
This instance is not in Data.ENat.Basic to avoid dependency on Finsets.
Data.ENat.Basic
Finset