HepLean Documentation
Init
.
Data
.
Nat
Search
Google site 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.Div
Init.Data.Nat.Dvd
Init.Data.Nat.Gcd
Init.Data.Nat.Lcm
Init.Data.Nat.Lemmas
Init.Data.Nat.Linear
Init.Data.Nat.Log2
Init.Data.Nat.MinMax
Init.Data.Nat.Mod
Init.Data.Nat.Power2
Init.Data.Nat.SOM
Init.Data.Nat.Simproc
Imported by