Nuprl - Proof: up reps

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

At: up reps

t:Term. t = t

By: GenUnivCD

Generated subgoal:

1 1. t: Term
t = t 4 steps

About:

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