PrintForm Definitions formula list Sections ClassicalProps(jlc) Doc

At: list rank wf 2 1
1. x: Formula List

(nil)
By: AbReduce 0
Generated subgoal:

1 0

About:
memberapplynillistnatural_number