PrintForm
Definitions
graph
1
3
Sections
Graphs
Doc
At:
gro
eq
wf
For any graph
t:GraphObject(the_graph). t.eq
V
V
By:
YRecModulePiTac 7 `graphobj` [`gro_eq`;`gro_eqw`;`gro_eacc`;`gro_eaccw`;`gro_vacc`;`gro_vaccw`;`gro_other`]
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
3
Sections
Graphs
Doc
For any graph
t:GraphObject(the_graph). t.eq 
V
V
