Documentation
Init
.
Data
.
Nat
Search
return to top
source
Imports
Init.Data.Nat.Basic
Init.Data.Nat.Bitwise
Init.Data.Nat.Compare
Init.Data.Nat.Control
Init.Data.Nat.Coprime
Init.Data.Nat.Div
Init.Data.Nat.Dvd
Init.Data.Nat.Fold
Init.Data.Nat.Gcd
Init.Data.Nat.Internal
Init.Data.Nat.Lcm
Init.Data.Nat.Lemmas
Init.Data.Nat.Log2
Init.Data.Nat.MinMax
Init.Data.Nat.Mod
Init.Data.Nat.Order
Init.Data.Nat.Package
Init.Data.Nat.PowMod
Init.Data.Nat.Power2
Init.Data.Nat.Simproc
Init.Data.Nat.Sqrt
Init.Data.Nat.ToString
Imported by