PrintForm Definitions formula validity Sections ClassicalProps(jlc) Doc

At: formula valid wf 1
1. F: Formula

(a:Full(F). a |= F ) Type
By: MemberEqCD
Generated subgoals:

1 Full(F) Type
22. a: Full(F)
a |= F Type

About:
memberuniverseall