PrintForm Definitions sat lemmas Sections ClassicalProps(jlc) Doc

At: formula imp sat lemma 1 2 1 1 1 1
1. a: Assignment
2. q: Formula
3. r: Formula
4. (q under a) = 3

3 (r under a) = 3
By: GenConcl ((r under a) = n)
Generated subgoal:

15. n:
6. (r under a) = n
3 n = 3

About:
equal