t:AdjMatrix. t.adj 
t.size
t.size
t:AdjMatrix. t.size 
sizesize Type
} == {k:
| i 
k < j }m,n:. {m..n} Type| Some definitions of interest. | |
| adjm_adj | Def t.adj == 2of(t) |
| Thm* t:AdjMatrix. t.adj t.sizet.size | |
| adjm_size | Def t.size == 1of(t) |
| Thm* t:AdjMatrix. t.size | |
| adjmatrix | Def AdjMatrix == size:sizesize |
| Thm* AdjMatrix Type | |
| int_seg | Def {i..j} == {k:| i k < j } |
| Thm* m,n:. {m..n} Type |
About:
 |  |  |  |  |
 |  |  |  |
 |