Nat.lean

import Batteries.Data.Nat.Basic
import Batteries.Data.Nat.BinaryRec
import Batteries.Data.Nat.Bisect
import Batteries.Data.Nat.Gcd
import Batteries.Data.Nat.Lemmas