(2steps)
PrintForm
Definitions
Kleene
Sections
ClassicalProps(jlc)
Doc
At:
K
or
equal
Three
2
x,y:
. x
y = 3
x = 3
y = 3
By:
UnivCD
Generated subgoal:
1
1.
x:
2.
y:
3.
x
y = 3
x = 3
y = 3
About:
(2steps)
PrintForm
Definitions
Kleene
Sections
ClassicalProps(jlc)
Doc
y = 3
x = 3 y = 3
x,y:. x y = 3 
x = 3 y = 3
y = 3 x = 3 y = 3
