PrintForm Definitions graph 1 3 Sections Graphs Doc

At: assert eq adjl
A:AdjList, x,y:Vertices(adjl-graph(A)). x =A= y x = y
By:
Unfolds [`adjl-graph`;`eq_adjl`] 0
THEN
Reduce 0
THEN
RW assert_pushdownC 0
Generated subgoals:

None

About:
assertequalall

PrintForm Definitions graph 1 3 Sections Graphs Doc