PrintForm Definitions graph 1 3 Sections Graphs Doc

At: assert eq adjm
M:AdjMatrix, x,y:Vertices(adjm-graph(M)). x =M= y x = y
By:
Unfolds [`adjm-graph`;`eq_adjm`] 0
THEN
Reduce 0
THEN
RW assert_pushdownC 0
Generated subgoals:

None

About:
assertequalall

PrintForm Definitions graph 1 3 Sections Graphs Doc