Documentation

Init.Data.Nat

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.Power2
Init.Data.Nat.Simproc
Init.Data.Nat.Sqrt
Init.Data.Nat.ToString

Imported by

← Mathematical handbook