PrintForm Definitions graph 1 3 Sections Graphs Doc

At: adjl out wf
t:AdjList. t.out t.size(t.size List)
By: YRecModulePiTac 2 `adjlist` [`adjl_size`;`adjl_out`]
Generated subgoals:

None

About:
listnatural_numberfunctionmemberall

PrintForm Definitions graph 1 3 Sections Graphs Doc