(3steps total)
PrintForm
ElisTarskiPf
A
Sections
NuprlLIB
Doc
At:
qnot
subx
1
1
1.
t:
Term
2.
e:
Term
NOT(t)[e/X] = NOT(t[e/X])
By:
ComputeAtAddr [2] 0
Generated subgoals:
None
About:
(3steps total)
PrintForm
ElisTarskiPf
A
Sections
NuprlLIB
Doc
NOT(t)[e/X] = NOT(t[e/X])
