Definitions
graph
1
1
Sections
Graphs
Doc
Some definitions of interest.
nat
Def
== {i:
| 0
i }
Thm*
Type
nat_plus
Def
== {i:
| 0 < i }
Thm*
Type
About:
Definitions
graph
1
1
Sections
Graphs
Doc
== {i:
| 0
i } 
Type
== {i:| 0 < i } Type == {i:| 0i } Type == {i:| 0 < i } Type
