(8steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc

At: s2 1 1 2 1
1. t: Term
f(t) = f(t) & UP(f(t)) = f(t)
By: Analyze 0
Generated subgoals:

1 f(t) = f(t)1 step
 
2 UP(f(t)) = f(t)1 step

About:
and

(8steps total) PrintForm Definitions Lemmas ElisTarskiPf A Sections NuprlLIB Doc