PrintForm Definitions graph 1 3 Sections Graphs Doc

At: graphobj wf
the_graph:Graph. GraphObject(the_graph) Type{i'}
By:
Unfold `graphobj` 0
THEN
AllHyps (h.IsectHD T h)
Generated subgoals:

None

About:
universememberall

PrintForm Definitions graph 1 3 Sections Graphs Doc