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

At: s2 1 1 2 1
1. t: Term
q(f(t)) reps f(t) & Q(q(f(t))) reps q(f(t))
By: Analyze 0
Generated subgoals:

1 q(f(t)) reps f(t)1 step
 
2 Q(q(f(t))) reps q(f(t))1 step

About:
and

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