v,e:Type, f:(e
v
v), o:Top. < vertices = v, edges = e, incidence = f > 
Graph| Who Cites mkgraph? | |
| mkgraph | Def < vertices = v, edges = e, incidence = f > == < v,e,f,o > |
| Thm* v,e:Type, f:(evv), o:Top. < vertices = v, edges = e, incidence = f > Graph |
| Syntax: | < vertices = v, edges = e, incidence = f > | has structure: | mkgraph(v; e; f; o) |
About:
 |  |  |  |  |  |  |  |