PrintForm Definitions full assignment Sections ClassicalProps(jlc) Doc

At: full formula assignment properties

F:Formula, a:Full(F). a |= F a | F
By: UnivCD
Generated subgoal:

11. F: Formula
2. a: Full(F)
a |= F a | F

About:
allor