Langlib
Init
.
GrindInstances
.
Nat
Search
return to top
source
Imports
Init.Grind.Ordered.Module
Init.Grind.Ring.Basic
Imported by
Lean
.
Grind
.
instAddRightCancelNat
Lean
.
Grind
.
instExistsAddOfLTNat
source
instance
Lean
.
Grind
.
instAddRightCancelNat
:
AddRightCancel
Nat
source
instance
Lean
.
Grind
.
instExistsAddOfLTNat
:
ExistsAddOfLT
Nat
Langlib