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

At: up reps 1
1. t: Term
q(t) reps t Term
By: Unfold `reps` 0
Generated subgoal:

1 q(t) IN Term & ref(q(t)) = t3 steps

About:
equal

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