PrintForm Definitions graph 1 2 Sections Graphs Doc

At: graph-isomorphic-equiv
EquivRel G,H:Graph. G H
By:
Unfold `equiv_rel` 0
THEN
Unfolds [`refl`;`sym`;`trans`] 0
THEN
RelRST
Generated subgoals:

None

PrintForm Definitions graph 1 2 Sections Graphs Doc