fix(data/nat/enat): change [] to {} in some lemmas (#1054)
fix(data/nat/enat): change [] to {} in some lemmas (#1054)

* fix(data/nat/enat): change [] to {} in some lemmas

* Update enat.lean

* remove space

leanprover-community/mathlib,leanprover-community/mathlib