PrintForm
Definitions
assignment
Sections
ClassicalProps(jlc)
Doc
At:
extension
lemma
a,a':Assignment. a' extends a
(
x:Var.
a(x) = 3
a(x) = a'(x))
By:
UnivCD
Generated subgoal:
1
1.
a:
Assignment
2.
a':
Assignment
3.
a' extends a
4.
x:
Var
5.
a(x) = 3
a(x) = a'(x)
About:
a(x) = 3
a(x) = a'(x) 
a,a':Assignment. a' extends a 
(x:Var. a(x) = 3 a(x) = a'(x))a(x) = 3 a(x) = a'(x)
