PrintForm Definitions graph 1 3 Sections Graphs Doc

At: adjm size wf
t:AdjMatrix. t.size
By: YRecModulePiTac 2 `adjmatrix` [`adjm_size`;`adjm_adj`]
Generated subgoals:

None

About:
memberall

PrintForm Definitions graph 1 3 Sections Graphs Doc