PrintForm Definitions valuation Sections ClassicalProps(jlc) Doc

At: valuation wf 1
1. a: Assignment
2. F: Formula

(F under a)
By: MoveToConcl 1
Generated subgoal:

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

About:
memberall