feat(data/int/basic): to_nat lemmas (#1479)
feat(data/int/basic): to_nat lemmas (#1479)

* feat(data/int/basic): of_nat lemmas

* Adding lt_of_to_nat_lt

* reversing sides of <->

leanprover-community/mathlib,leanprover-community/mathlib