PrintForm Definitions graph 1 3 Sections Graphs Doc

At: gro eqw wf
For any graph t:GraphObject(the_graph). t.eqw (x,y:V. t.eq(x,y) x = y)
By: YRecModulePiTac 7 `graphobj` [`gro_eq`;`gro_eqw`;`gro_eacc`;`gro_eaccw`;`gro_vacc`;`gro_vaccw`;`gro_other`]
Generated subgoals:

None

About:
assertapplyequalmemberall

PrintForm Definitions graph 1 3 Sections Graphs Doc