PhysLean 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.Fold
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.Order
Init.Data.Nat.Order
Init.Data.Nat.Power2
Init.Data.Nat.SOM
Init.Data.Nat.Simproc
Imported by