PrintForm Definitions graph 1 3 Sections Graphs Doc

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

None

About:
memberall

PrintForm Definitions graph 1 3 Sections Graphs Doc