PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

At: list rank wf

(Formula List)
By: Ext
Generated subgoals:

1 (Formula List)
21. x: Formula List
(x)
3 Formula List Type

About:
memberfunctionlistapplyuniverse