y
M:AdjMatrix, x,y:Vertices(adjm-graph(M)). x =M= y 
j == if i=j
true ; false fii,j:
. (i=j) | Who Cites eq adjm? | |
| eq_adjm | Def x =M= y == x=y |
| Thm* M:AdjMatrix, x,y:Vertices(adjm-graph(M)). x =M= y | |
| eq_int | Def i=j == if i=j true ; false fi |
| Thm* i,j:. (i=j) |
| Syntax: | x =M= y | has structure: | eq_adjm(M; x; y) |
About:
 |  |  |  |  |  |  |  |