(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc

At: fnot wf

x:Formula. x Formula
By: UnivCD
Generated subgoal:

11. x: Formula
x Formula

About:
memberall

(3steps) PrintForm Definitions formula Sections ClassicalProps(jlc) Doc