PrintForm Definitions valuation Sections ClassicalProps(jlc) Doc

At: valuation wf

a:Assignment, F:Formula. (F under a)
By: UnivCD
Generated subgoal:

11. a: Assignment
2. F: Formula
(F under a)

About:
allmember