PrintForm Definitions graph 1 2 Sections Graphs Doc

At: gr v wf
t:Graph. Vertices(t) Type
By: YRecModulePiTac 4 `graph` [`gr_v`;`gr_e`;`gr_f`;`gr_o`]
Generated subgoals:

None

About:
universememberall

PrintForm Definitions graph 1 2 Sections Graphs Doc