PrintForm Definitions full assignment Sections ClassicalProps(jlc) Doc

At: full formula assignment properties 1 1
1. F: Formula
2. a: Assignment
3. a |= F a | F

a |= F a | F
By: Assert Dec(a |= F a | F)
Generated subgoals:

1 Dec(a |= F a | F)
24. Dec(a |= F a | F)
a |= F a | F

About:
or