-- Natural-number mathematics
-- Part of Cumulus, the Grace17 mathematics library.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

module Grace.Cumulus.Nat
import Pow
import Subtraction
import Division
import Order
import Least
import Parity
import Induction
import OrderLemmas
import MinMax
import PowLemmas
import ParityLemmas
import CyclicShift