Nuprl - Proof: up reps 1 1

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

At: up reps 1 1

1. t: Term

t Term & t = t

By: Analyze 0

Generated subgoals:

1 t Term 1 step

2 2. t Term
t = t 1 step

About:

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