WhoCites Definitions graph 1 3 Sections Graphs Doc

Who Cites mk adjmatrix?
mk_adjmatrixDef mk_adjmatrix(size, adj) == < size,adj >
Thm* size:, adj:(sizesize). mk_adjmatrix(size, adj) AdjMatrix

Syntax:mk_adjmatrix(size, adj) has structure: mk_adjmatrix(size; adj)

About:
pairboolnatural_numberfunctionmemberall!abstraction

WhoCites Definitions graph 1 3 Sections Graphs Doc