TorchLean API
Docs Home
Guide
Examples
Graphs
Init
.
GrindInstances
.
Nat
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Init.Omega
Init.Grind.Ordered.Module
Imported by
Lean
.
Grind
.
instAddRightCancelNat
Lean
.
Grind
.
instExistsAddOfLTNat
source
instance
Lean
.
Grind
.
instAddRightCancelNat
:
AddRightCancel
Nat
source
instance
Lean
.
Grind
.
instExistsAddOfLTNat
:
ExistsAddOfLT
Nat