Nuprl - Proof: up reps 1

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

At: up reps 1

1. t: Term

t = t

By: Unfold `reps` 0

Generated subgoal:

1 t Term & t = t 3 steps

About:

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